de.inovat.kex.bast.common.constants
Class ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL

java.lang.Object
  extended by de.inovat.kex.bast.common.constants.ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL
Enclosing class:
ConfigurationConstants

public static class ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL
extends java.lang.Object

Parametersatz für PL-Formal


Field Summary
static java.lang.String ATL_ATTRIBUT_SPEZIFIKATION
           
static java.lang.String ATT_ASP
           
static java.lang.String ATT_ATG
           
static java.lang.String ATT_OBJ
           
static ConfigurationConstants.ATL_ATTRIBUT_SPEZIFIKATION_PLAUSIBILITAETS_PRUEFUNG_FORMAL ATTRIBUT_SPEZIFIKATION
           
static java.lang.String PID
           
 
Constructor Summary
ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

PID

public static final java.lang.String PID
See Also:
Constant Field Values

ATT_ATG

public static final java.lang.String ATT_ATG
See Also:
Constant Field Values

ATT_ASP

public static final java.lang.String ATT_ASP
See Also:
Constant Field Values

ATT_OBJ

public static final java.lang.String ATT_OBJ
See Also:
Constant Field Values

ATL_ATTRIBUT_SPEZIFIKATION

public static final java.lang.String ATL_ATTRIBUT_SPEZIFIKATION
See Also:
Constant Field Values

ATTRIBUT_SPEZIFIKATION

public static ConfigurationConstants.ATL_ATTRIBUT_SPEZIFIKATION_PLAUSIBILITAETS_PRUEFUNG_FORMAL ATTRIBUT_SPEZIFIKATION
Constructor Detail

ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL

public ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL()