de.uka.ilkd.key.proof.init

Class JavaProfileWithPermissionsDefaultProfileResolver

java.lang.Object

de.uka.ilkd.key.proof.init.JavaProfileWithPermissionsDefaultProfileResolver

All Implemented Interfaces:

DefaultProfileResolver

public class JavaProfileWithPermissionsDefaultProfileResolver
extends java.lang.Object
implements DefaultProfileResolver

A DefaultProfileResolver which returns JavaProfile.defaultInstancePermissions.

Author:

Martin Hentschel

Constructor Summary

Constructors

Constructor and Description
JavaProfileWithPermissionsDefaultProfileResolver()

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

JavaProfileWithPermissionsDefaultProfileResolver

public JavaProfileWithPermissionsDefaultProfileResolver()

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.