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 | Field and Description |
---|---|
private static ImmutableList<POExtension> |
poExtensions
The available
POExtension s. |
private static java.util.Map<java.lang.String,DefaultProfileResolver> |
resolver
All available
DefaultProfileResolver . |
Modifier | Constructor and Description |
---|---|
private |
ProofInitServiceUtil()
Forbid instances.
|
Modifier and Type | Method and Description |
---|---|
private static java.util.Map<java.lang.String,DefaultProfileResolver> |
createDefaultProfileResolver()
Creates all available
DefaultProfileResolver . |
private static ImmutableList<POExtension> |
createOperationPOExtension()
Creates the
POExtension s. |
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 . |
private static final ImmutableList<POExtension> poExtensions
POExtension
s.private static final java.util.Map<java.lang.String,DefaultProfileResolver> resolver
DefaultProfileResolver
.public static ImmutableList<POExtension> getOperationPOExtension(ProofOblInput po)
POExtension
which supports the given ProofOblInput
.po
- The ProofOblInput
for which POExtension
are requested.POExtension
s.private static ImmutableList<POExtension> createOperationPOExtension()
POExtension
s.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.private static java.util.Map<java.lang.String,DefaultProfileResolver> createDefaultProfileResolver()
DefaultProfileResolver
.DefaultProfileResolver
.