de.uka.ilkd.key.proof.init

Interface DefaultProfileResolver

All Known Implementing Classes:

JavaProfileDefaultProfileResolver, JavaProfileWithPermissionsDefaultProfileResolver, SymbolicExecutionJavaProfileDefaultProfileResolver

public interface DefaultProfileResolver

Instances of this class are used to get a default Profile instance.

Instances are created once via ProofInitServiceUtil.getDefaultProfile(String) and reused all the time. This means that DefaultProfileResolver are singletons and should not have a state.

Author:

Martin Hentschel

Method Summary

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

Method Detail

getProfileName

java.lang.String getProfileName()

Returns the profile name.

Returns:

The profile name.

getDefaultProfile

Profile getDefaultProfile()

Returns the default Profile instance.

Returns:

The default Profile instance.