de.uka.ilkd.key.proof.init

Class ProofInitServiceUtil

java.lang.Object

de.uka.ilkd.key.proof.init.ProofInitServiceUtil

public final class ProofInitServiceUtil
extends java.lang.Object

Provides static utility methods to get the following service:

• 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

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private static ImmutableList<POExtension>	poExtensions The available POExtensions.
private static java.util.Map<java.lang.String,DefaultProfileResolver>	resolver All available DefaultProfileResolver.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ProofInitServiceUtil() Forbid instances.

Method Summary

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 POExtensions.
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

poExtensions

private static final ImmutableList<POExtension> poExtensions

The available POExtensions.

resolver

private static final java.util.Map<java.lang.String,DefaultProfileResolver> resolver

All available DefaultProfileResolver.

Constructor Detail

ProofInitServiceUtil

private ProofInitServiceUtil()

Forbid instances.

Method Detail

getOperationPOExtension

public static ImmutableList<POExtension> getOperationPOExtension(ProofOblInput po)

Returns the POExtension which supports the given ProofOblInput.

Parameters:

po - The ProofOblInput for which POExtension are requested.

Returns:

The available POExtensions.

createOperationPOExtension

private static ImmutableList<POExtension> createOperationPOExtension()

Creates the POExtensions.

Returns:

The available POExtensions.

getDefaultProfile

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 Threads (not the UI Thread).

Parameters:

profileName - The name of the requested Profile.

Returns:

The Profile with the given name for usage in the Thread of the user interface or null if not available.

getDefaultProfileResolver

public static DefaultProfileResolver getDefaultProfileResolver(java.lang.String profileName)

Returns the DefaultProfileResolver for the given profile name.

Parameters:

profileName - The name of the profile.

Returns:

The corresponding DefaultProfileResolver or null if not available.

createDefaultProfileResolver

private static java.util.Map<java.lang.String,DefaultProfileResolver> createDefaultProfileResolver()

Creates all available DefaultProfileResolver.

Returns:

All available DefaultProfileResolver.