public final class ProofInitServiceUtil
extends java.lang.Object
POExtension
listed at META-INF/services/de.uka.ilkd.key.proof.init.POExtension
DefaultProfileResolver
listed at META-INF/services/de.uka.ilkd.key.proof.init.DefaultProfileResolver
Modifier and Type | Method and Description |
---|---|
static Profile |
getDefaultProfile(java.lang.String profileName)
Returns the
Profile for the given name. |
static DefaultProfileResolver |
getDefaultProfileResolver(java.lang.String profileName)
Returns the
DefaultProfileResolver for the given profile name. |
static ImmutableList<POExtension> |
getOperationPOExtension(ProofOblInput po)
Returns the
POExtension which supports the given ProofOblInput . |
public static ImmutableList<POExtension> getOperationPOExtension(ProofOblInput po)
POExtension
which supports the given ProofOblInput
.po
- The ProofOblInput
for which POExtension
are requested.POExtension
s.public static Profile getDefaultProfile(java.lang.String profileName)
Returns the Profile
for the given name.
It is typically used in the Thread
of the user interface.
Other instances of this class are typically only required to
use them in different Thread
s (not the UI Thread
).
public static DefaultProfileResolver getDefaultProfileResolver(java.lang.String profileName)
DefaultProfileResolver
for the given profile name.profileName
- The name of the profile.DefaultProfileResolver
or null
if not available.Copyright © 2003-2019 The KeY-Project.