de.uka.ilkd.key.symbolic_execution.profile

Class SymbolicExecutionJavaProfileDefaultProfileResolver

java.lang.Object

de.uka.ilkd.key.symbolic_execution.profile.SymbolicExecutionJavaProfileDefaultProfileResolver

All Implemented Interfaces:

DefaultProfileResolver

public class SymbolicExecutionJavaProfileDefaultProfileResolver
extends java.lang.Object
implements DefaultProfileResolver

A DefaultProfileResolver which returns SymbolicExecutionJavaProfile.getDefaultInstance().

Author:

Martin Hentschel

Constructor Summary

Constructors

Constructor and Description
SymbolicExecutionJavaProfileDefaultProfileResolver()

Method Summary

Modifier and Type	Method and Description
Profile	getDefaultProfile() Returns the default Profile instance.
java.lang.String	getProfileName() Returns the profile name.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SymbolicExecutionJavaProfileDefaultProfileResolver

public SymbolicExecutionJavaProfileDefaultProfileResolver()

Method Detail

getProfileName

public java.lang.String getProfileName()

Returns the profile name.

Specified by:

getProfileName in interface DefaultProfileResolver

Returns:

The profile name.

getDefaultProfile

public Profile getDefaultProfile()

Returns the default Profile instance.

Specified by:

getDefaultProfile in interface DefaultProfileResolver

Returns:

The default Profile instance.