Constant Field Values

Contents

• org.palladiosimulator.*

org.palladiosimulator.*

org.palladiosimulator.pcm.dataprocessing.prolog.prologmodel.PrologmodelPackage

Modifier and Type	Constant Field	Value
public static final int	AND	14
public static final int	AND__CONTAINING_ASSIGNMENT	0
public static final int	AND__OPERANDS	1
public static final int	AND_FEATURE_COUNT	2
public static final int	AND_OPERATION_COUNT	0
public static final int	ATTRIBUTE	1
public static final int	ATTRIBUTE__NAME	1
public static final int	ATTRIBUTE__TYPE	0
public static final int	ATTRIBUTE_FEATURE_COUNT	2
public static final int	ATTRIBUTE_OPERATION_COUNT	0
public static final int	CALLER	19
public static final int	CALLER__CALLS	0
public static final int	CALLER__NAME	1
public static final int	CALLER_FEATURE_COUNT	2
public static final int	CALLER_OPERATION_COUNT	0
public static final int	DATA_TYPE	5
public static final int	DATA_TYPE__ATTRIBUTES	0
public static final int	DATA_TYPE__NAME	1
public static final int	DATA_TYPE_FEATURE_COUNT	2
public static final int	DATA_TYPE_OPERATION_COUNT	0
public static final int	DEFAULT_STATE_REF	23
public static final int	DEFAULT_STATE_REF___GET_POSSIBLE_ATTRIBUTES	1
public static final int	DEFAULT_STATE_REF___GET_POSSIBLE_VALUES	2
public static final int	DEFAULT_STATE_REF___GET_POSSIBLE_VARIABLES	0
public static final int	DEFAULT_STATE_REF___IS_ATTRIBUTE_WILDCARD	3
public static final int	DEFAULT_STATE_REF___IS_VALUE_WILDCARD	4
public static final int	DEFAULT_STATE_REF__ATTRIBUTE	2
public static final int	DEFAULT_STATE_REF__CONTAINING_ASSIGNMENT	0
public static final int	DEFAULT_STATE_REF__STATE_VARIABLE	1
public static final int	DEFAULT_STATE_REF__VALUE	3
public static final int	DEFAULT_STATE_REF_FEATURE_COUNT	4
public static final int	DEFAULT_STATE_REF_OPERATION_COUNT	5
public static final String	eNAME	"prologmodel"
public static final String	eNS_PREFIX	"prologmodel"
public static final String	eNS_URI	"http://www.palladiosimulator.org/pcm/dataprocessing/prolog/0.1/"
public static final int	FALSE	13
public static final int	FALSE__CONTAINING_ASSIGNMENT	0
public static final int	FALSE_FEATURE_COUNT	1
public static final int	FALSE_OPERATION_COUNT	0
public static final int	LOGIC_TERM	11
public static final int	LOGIC_TERM__CONTAINING_ASSIGNMENT	0
public static final int	LOGIC_TERM_FEATURE_COUNT	1
public static final int	LOGIC_TERM_OPERATION_COUNT	0
public static final int	MIN_STATIC	24
public static final int	MIN_STATIC__CONTAINING_ASSIGNMENT	0
public static final int	MIN_STATIC__OPERANDS	1
public static final int	MIN_STATIC__VALUE	2
public static final int	MIN_STATIC_FEATURE_COUNT	3
public static final int	MIN_STATIC_OPERATION_COUNT	0
public static final int	NOT	16
public static final int	NOT__CONTAINING_ASSIGNMENT	0
public static final int	NOT__OPERAND	1
public static final int	NOT_FEATURE_COUNT	2
public static final int	NOT_OPERATION_COUNT	0
public static final int	OPERATION	3
public static final int	OPERATION__CALLS	0
public static final int	OPERATION__DEFAULT_STATE_DEFINITIONS	7
public static final int	OPERATION__NAME	1
public static final int	OPERATION__PARAMETERS	2
public static final int	OPERATION__POST_EXECUTION_STATE_DEFINITIONS	8
public static final int	OPERATION__PROPERTY_DEFINITIONS	4
public static final int	OPERATION__RETURN_VALUE_ASSIGNMENTS	5
public static final int	OPERATION__RETURN_VALUES	3
public static final int	OPERATION__STATE_VARIABLES	6
public static final int	OPERATION_CALL	8
public static final int	OPERATION_CALL__CALLEE	0
public static final int	OPERATION_CALL__CALLER	2
public static final int	OPERATION_CALL__NAME	3
public static final int	OPERATION_CALL__PARAMETER_ASSIGNMENTS	1
public static final int	OPERATION_CALL__PRE_CALL_STATE_DEFINITIONS	4
public static final int	OPERATION_CALL_FEATURE_COUNT	5
public static final int	OPERATION_CALL_OPERATION_COUNT	0
public static final int	OPERATION_FEATURE_COUNT	9
public static final int	OPERATION_OPERATION_COUNT	0
public static final int	OR	15
public static final int	OR__CONTAINING_ASSIGNMENT	0
public static final int	OR__OPERANDS	1
public static final int	OR_FEATURE_COUNT	2
public static final int	OR_OPERATION_COUNT	0
public static final int	PARAMETER_REF	17
public static final int	PARAMETER_REF___GET_POSSIBLE_ATTRIBUTES	1
public static final int	PARAMETER_REF___GET_POSSIBLE_PARAMETERS	0
public static final int	PARAMETER_REF___GET_POSSIBLE_VALUES	2
public static final int	PARAMETER_REF___IS_ATTRIBUTE_WILDCARD	3
public static final int	PARAMETER_REF___IS_VALUE_WILDCARD	4
public static final int	PARAMETER_REF__ATTRIBUTE	2
public static final int	PARAMETER_REF__CONTAINING_ASSIGNMENT	0
public static final int	PARAMETER_REF__PARAMETER	1
public static final int	PARAMETER_REF__VALUE	3
public static final int	PARAMETER_REF_FEATURE_COUNT	4
public static final int	PARAMETER_REF_OPERATION_COUNT	5
public static final int	PROPERTY	6
public static final int	PROPERTY__NAME	1
public static final int	PROPERTY__TYPE	0
public static final int	PROPERTY_DEFINITION	7
public static final int	PROPERTY_DEFINITION___GET_POSSIBLE_VALUES	0
public static final int	PROPERTY_DEFINITION__PRESENT_VALUES	1
public static final int	PROPERTY_DEFINITION__PROPERTY	0
public static final int	PROPERTY_DEFINITION_FEATURE_COUNT	2
public static final int	PROPERTY_DEFINITION_OPERATION_COUNT	1
public static final int	PROPERTY_FEATURE_COUNT	2
public static final int	PROPERTY_OPERATION_COUNT	0
public static final int	PROPERTY_REF	18
public static final int	PROPERTY_REF___GET_POSSIBLE_PROPERTIES	0
public static final int	PROPERTY_REF___GET_POSSIBLE_VALUES	1
public static final int	PROPERTY_REF___IS_VALUE_WILDCARD	2
public static final int	PROPERTY_REF__CONTAINING_ASSIGNMENT	0
public static final int	PROPERTY_REF__OPERATION	1
public static final int	PROPERTY_REF__PROPERTY	3
public static final int	PROPERTY_REF__VALUE	2
public static final int	PROPERTY_REF_FEATURE_COUNT	4
public static final int	PROPERTY_REF_OPERATION_COUNT	3
public static final int	RETURN_VALUE_REF	21
public static final int	RETURN_VALUE_REF___GET_POSSIBLE_ATTRIBUTES	2
public static final int	RETURN_VALUE_REF___GET_POSSIBLE_CALLS	0
public static final int	RETURN_VALUE_REF___GET_POSSIBLE_RETURN_VALUES	1
public static final int	RETURN_VALUE_REF___GET_POSSIBLE_VALUES	3
public static final int	RETURN_VALUE_REF___IS_ATTRIBUTE_WILDCARD	4
public static final int	RETURN_VALUE_REF___IS_VALUE_WILDCARD	5
public static final int	RETURN_VALUE_REF__ATTRIBUTE	2
public static final int	RETURN_VALUE_REF__CALL	4
public static final int	RETURN_VALUE_REF__CONTAINING_ASSIGNMENT	0
public static final int	RETURN_VALUE_REF__RETURN_VALUE	1
public static final int	RETURN_VALUE_REF__VALUE	3
public static final int	RETURN_VALUE_REF_FEATURE_COUNT	5
public static final int	RETURN_VALUE_REF_OPERATION_COUNT	6
public static final int	STATE_REF	22
public static final int	STATE_REF___GET_POSSIBLE_ATTRIBUTES	1
public static final int	STATE_REF___GET_POSSIBLE_VALUES	2
public static final int	STATE_REF___GET_POSSIBLE_VARIABLES	0
public static final int	STATE_REF___IS_ATTRIBUTE_WILDCARD	3
public static final int	STATE_REF___IS_VALUE_WILDCARD	4
public static final int	STATE_REF__ATTRIBUTE	2
public static final int	STATE_REF__CONTAINING_ASSIGNMENT	0
public static final int	STATE_REF__STATE_VARIABLE	1
public static final int	STATE_REF__VALUE	3
public static final int	STATE_REF_FEATURE_COUNT	4
public static final int	STATE_REF_OPERATION_COUNT	5
public static final int	SYSTEM	0
public static final int	SYSTEM__ATTRIBUTES	1
public static final int	SYSTEM__DATATYPES	2
public static final int	SYSTEM__NAME	0
public static final int	SYSTEM__OPERATIONS	3
public static final int	SYSTEM__PROPERTIES	4
public static final int	SYSTEM__SYSTEMUSAGES	6
public static final int	SYSTEM__TYPES	5
public static final int	SYSTEM_FEATURE_COUNT	7
public static final int	SYSTEM_OPERATION_COUNT	0
public static final int	SYSTEM_USAGE	20
public static final int	SYSTEM_USAGE__CALLS	0
public static final int	SYSTEM_USAGE__NAME	1
public static final int	SYSTEM_USAGE_FEATURE_COUNT	2
public static final int	SYSTEM_USAGE_OPERATION_COUNT	0
public static final int	TRUE	12
public static final int	TRUE__CONTAINING_ASSIGNMENT	0
public static final int	TRUE_FEATURE_COUNT	1
public static final int	TRUE_OPERATION_COUNT	0
public static final int	VALUE	2
public static final int	VALUE__CONTAINING_TYPE	1
public static final int	VALUE__NAME	0
public static final int	VALUE_FEATURE_COUNT	2
public static final int	VALUE_OPERATION_COUNT	0
public static final int	VALUE_SET_TYPE	10
public static final int	VALUE_SET_TYPE__NAME	1
public static final int	VALUE_SET_TYPE__VALUES	0
public static final int	VALUE_SET_TYPE_FEATURE_COUNT	2
public static final int	VALUE_SET_TYPE_OPERATION_COUNT	0
public static final int	VARIABLE	4
public static final int	VARIABLE__DATATYPE	0
public static final int	VARIABLE__NAME	1
public static final int	VARIABLE_ASSIGNMENT	9
public static final int	VARIABLE_ASSIGNMENT___GET_POSSIBLE_ATTRIBUTES	1
public static final int	VARIABLE_ASSIGNMENT___GET_POSSIBLE_VALUES	2
public static final int	VARIABLE_ASSIGNMENT___GET_POSSIBLE_VARIABLES	0
public static final int	VARIABLE_ASSIGNMENT___IS_ATTRIBUTE_WILDCARD	3
public static final int	VARIABLE_ASSIGNMENT___IS_VALUE_WILDCARD	4
public static final int	VARIABLE_ASSIGNMENT__ATTRIBUTE	1
public static final int	VARIABLE_ASSIGNMENT__TERM	3
public static final int	VARIABLE_ASSIGNMENT__VALUE	2
public static final int	VARIABLE_ASSIGNMENT__VARIABLE	0
public static final int	VARIABLE_ASSIGNMENT_FEATURE_COUNT	4
public static final int	VARIABLE_ASSIGNMENT_OPERATION_COUNT	5
public static final int	VARIABLE_FEATURE_COUNT	2
public static final int	VARIABLE_OPERATION_COUNT	0

org.palladiosimulator.pcm.dataprocessing.prolog.prologmodel.util.PrologmodelValidator

Modifier and Type	Constant Field	Value
protected static final String	CALLER__CALL_NAMES_UNIQUE__EEXPRESSION	"calls->isUnique(name)"
protected static final String	DEFAULT_STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION	"getPossibleAttributes()->includes(attribute)"
protected static final String	DEFAULT_STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION	"getPossibleVariables()->includes(stateVariable)"
protected static final String	DEFAULT_STATE_REF__IS_VALUE_VALID__EEXPRESSION	"getPossibleValues()->includes(value)"
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"org.palladiosimulator.pcm.dataprocessing.prolog.prologmodel"
protected static final String	MIN_STATIC__LEFT_HAND_SIDE_IS_NO_ATTRIBUTE_WILDCARD__EEXPRESSION	"not self.containingAssignment.attribute.oclIsUndefined()"
protected static final String	MIN_STATIC__LEFT_HAND_SIDE_IS_VALUE_WILDCARD__EEXPRESSION	"self.containingAssignment.value.oclIsUndefined()"
protected static final String	MIN_STATIC__OPERANDS_ARE_ATTRIBUTE_WILDCARDS__EEXPRESSION	"self.operands->forAll(o |\n\t(o.oclIsTypeOf(ParameterRef) and let ref = o.oclAsType(ParameterRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(ReturnValueRef) and let ref = o.oclAsType(ReturnValueRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(StateRef) and let ref = o.oclAsType(StateRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(DefaultStateRef) and let ref = o.oclAsType(DefaultStateRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(PropertyRef) and let ref = o.oclAsType(PropertyRef) in\n\t\tref.isValueWildcard() and ref.property.type = self.containingAssignment.attribute.type\n\t)\n)"
protected static final String	MIN_STATIC__VALUE_MATCHES_ASSIGNMENT_TYPE__EEXPRESSION	"self.containingAssignment.attribute.type = self.value.containingType"
protected static final String	OPERATION__NO_CYCLES_IN_CALL_GRAPH__EEXPRESSION	" self.calls->closure(call | call.callee.calls).callee->excludes(self)"
protected static final String	OPERATION__NO_DUPLICATE_PROPERTY_DEFINITIONS__EEXPRESSION	"propertyDefinitions->isUnique(property)"
protected static final String	OPERATION__ONLY_CONSTANT_DEFAULT_STATE_DEFINITIONS__EEXPRESSION	"defaultStateDefinitions.term->selectByKind(LogicTerm)->closure(t | t.oclContents()->selectByKind(LogicTerm))->forAll(\n\toclIsKindOf(True) or\n\toclIsKindOf(False) or\n\toclIsKindOf(And) or\n\toclIsKindOf(Or) or\n\toclIsKindOf(Not) or\n\toclIsKindOf(PropertyRef)\n)"
protected static final String	OPERATION__PARAMETER_NAMES_UNIQUE__EEXPRESSION	"parameters->isUnique(name)"
protected static final String	OPERATION__RETURN_VALUE_NAMES_UNIQUE__EEXPRESSION	"returnValues->isUnique(name)"
protected static final String	OPERATION__STATE_NAMES_UNIQUE__EEXPRESSION	"stateVariables->isUnique(name)"
protected static final String	PARAMETER_REF__IS_ATTRIBUTE_VALID__EEXPRESSION	"getPossibleAttributes()->includes(attribute)"
protected static final String	PARAMETER_REF__IS_PARAMETER_VALID__EEXPRESSION	"getPossibleParameters()->includes(parameter)"
protected static final String	PARAMETER_REF__IS_VALUE_VALID__EEXPRESSION	"getPossibleValues()->includes(value)"
protected static final String	PROPERTY_DEFINITION__VALUES_PART_OF_PROPERTY_TYPE__EEXPRESSION	"getPossibleValues()->includesAll(presentValues)"
protected static final String	PROPERTY_REF__IS_PROPERTY_VALID__EEXPRESSION	"getPossibleProperties()->includes(property)"
protected static final String	PROPERTY_REF__IS_VALUE_VALID__EEXPRESSION	"getPossibleValues()->includes(value)"
protected static final String	RETURN_VALUE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION	"getPossibleAttributes()->includes(attribute)"
protected static final String	RETURN_VALUE_REF__IS_CALL_VALID__EEXPRESSION	"getPossibleCalls()->includes(call)"
protected static final String	RETURN_VALUE_REF__IS_RETURN_VALUE_VALID__EEXPRESSION	"getPossibleReturnValues()->includes(returnValue)"
protected static final String	RETURN_VALUE_REF__IS_VALUE_VALID__EEXPRESSION	"getPossibleValues()->includes(value)"
protected static final String	STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION	"getPossibleAttributes()->includes(attribute)"
protected static final String	STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION	"getPossibleVariables()->includes(stateVariable)"
protected static final String	STATE_REF__IS_VALUE_VALID__EEXPRESSION	"getPossibleValues()->includes(value)"
protected static final String	SYSTEM__ATTRIBUTE_NAMES_UNIQUE__EEXPRESSION	"attributes->isUnique(name)"
protected static final String	SYSTEM__DATATYPE_NAMES_UNIQUE__EEXPRESSION	"datatypes->isUnique(name)"
protected static final String	SYSTEM__OPERATION_AND_SYSTEM_USAGE_NAMES_UNIQUE__EEXPRESSION	"operations->selectByKind(Caller)->asBag()->union(systemusages->selectByKind(Caller)->asBag())->isUnique(name)"
protected static final String	SYSTEM__PROPERTY_NAMES_UNIQUE__EEXPRESSION	"properties->isUnique(name)"
protected static final String	SYSTEM__VALUE_SET_TYPE_NAMES_UNIQUE__EEXPRESSION	"types->isUnique(name)"
protected static final String	VALUE_SET_TYPE__VALUE_NAMES_UNIQUE__EEXPRESSION	"values->isUnique(name)"
protected static final String	VARIABLE_ASSIGNMENT__IS_ATTRIBUTE_VALID__EEXPRESSION	"getPossibleAttributes()->includes(attribute)"
protected static final String	VARIABLE_ASSIGNMENT__IS_VALUE_VALID__EEXPRESSION	"getPossibleValues()->includes(value)"
protected static final String	VARIABLE_ASSIGNMENT__IS_VARIABLE_VALID__EEXPRESSION	"getPossibleVariables()->includes(variable)"