de.uka.ilkd.key.proof.init

Class JavaProfileDefaultProfileResolver

java.lang.Object

de.uka.ilkd.key.proof.init.JavaProfileDefaultProfileResolver

All Implemented Interfaces:

DefaultProfileResolver

public class JavaProfileDefaultProfileResolver
extends java.lang.Object
implements DefaultProfileResolver

A DefaultProfileResolver which returns AbstractProfile.getDefaultProfile().

Author:

Martin Hentschel

Constructor Summary

Constructors

Constructor and Description
JavaProfileDefaultProfileResolver()

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

JavaProfileDefaultProfileResolver

public JavaProfileDefaultProfileResolver()

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.