Index (de.uni_hildesheim.sse.ivml API)

A B C D E F G H I L M N O P R S T U V W

A

activate(ComponentContext) - Method in class de.uni_hildesheim.sse.IvmlParser: Private method to activate plugin.
add(ResultEntry) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator.Result: Adds a partially completed xText project and an IVML project in terms of an entry.
addImplicitDefinition(CustomDatatype) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Adds an implicit type definition.
addToContext(Compound) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Adds a compound to the current context (layer).
addToContext(Compound, Set<Compound>) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Adds a compound to the current context (layer).
addToContext(AttributeAssignment) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Adds an attribute assignment to the current context (layer).
addToContext(Compound, String) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Stores a refined compound where the parent/super compound could not be loaded at the current time.
addToContext(OperationDefinition) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Adds an operation definition to the current context (layer).
addToContext(DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Adds a variable declaration to the current context (layer).
addToProject(EObject, Comment, ContainableModelElement) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Adds a containable element to the root resolution scope as well as a mapping from key to comment (optional) and element.
allConstant(ConstraintSyntaxTree[]) - Static method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Returns whether all exprs are constant.
allResolved(IDatatype[]) - Static method in class de.uni_hildesheim.sse.translation.TypeContext: Returns whether all types in types are resolved.
alreadyDefinedError(String, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Emits an already defined error.
AMBIGUITY - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Resolving an element leads to an ambiguity.
assign(List<T>, Object, Class<T>) - Static method in class de.uni_hildesheim.sse.translation.Utils: Helper function to assign the element to list if element is of type type and to create list if not defined before.
assignComments(StructuredComment, List<?>, List<Comment>, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Assigns the comments in comments to the corresponding model elements in elements.
ASSIGNMENT - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Error or warning due to a variable assignment.
AssignmentDetector - Class in de.uni_hildesheim.sse.translation: Implements a visitor which searches for assignments.
AssignmentDetector() - Constructor for class de.uni_hildesheim.sse.translation.AssignmentDetector
assignmentDetector - Variable in class de.uni_hildesheim.sse.translation.ExpressionTranslator
assignmentMapping - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator
assignProjectComment(Project, Object, Comment) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Assigns a comment to an element directly assigned to a project and ensures the existence the structured comment for the project if required.
attrAssignments - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult
attributeAssignmentsResolvable(List<AttrAssignment>, TypeContext, IDecisionVariableContainer, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Returns whether the assignments in attrAssignments can be resolved in the given context and the given parent container.
ATTRIBUTION - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Errors during attribution of elements (attributeTo).
attrs - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult

B

bindIValueConverterService() - Method in class de.uni_hildesheim.sse.IvmlRuntimeModule: Configures the value converter factory.
block - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator.EvalBlockResult

C

callback - Variable in class de.uni_hildesheim.sse.validation.IvmlJavaValidator
canBeDereferenced - Variable in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
canBeDereferenced() - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor: Returns whether the visited expression can be dereferenced.
cause - Variable in class de.uni_hildesheim.sse.translation.DerivedTypeMetaCompoundAccessVisitor
checkCompound(de.uni_hildesheim.sse.ivml.Project, Compound, Map<Compound, TypedefCompound>, Map<String, DecisionVariableDeclaration>) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Checks the given compound.
checkCompounds(de.uni_hildesheim.sse.ivml.Project, Project) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Checks the compounds in this project.
checkDefaultParamSequence(OpDefStatement, DecisionVariableDeclaration[]) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Checks the sequence of default and non-default parameters.
checkEnumOclCompliance(String, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Checks a (potentially) qualified enum literal name for OCL compliance if enabled.
checkForAssigment(ConstraintSyntaxTree, boolean, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Checks for an assignment operation directly in cst and emits an error or a warning in case that the operation is found.
checkForCompoundElement(Compound, String, ActualArgumentList) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Checks for an existing compound element name in comp and throws an exception if that element does not exist.
checkForSameTypeWarning(ConstraintSyntaxTree, String, ConstraintSyntaxTree, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Checks whether the operation op may return wrong results if types on both sides are not somehow assignable.
checkModel(VariabilityUnit) - Method in class de.uni_hildesheim.sse.validation.IvmlJavaValidator: Checks the model on top-level element layer.
checkOperationOclCompliance(Operation, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Checks for OCL operation compliance and issues a warning if violated and compliance mode is enabled.
clear() - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector: Clears this visitor for reuse.
clear() - Method in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator: Clears the data in this object.
clear() - Method in class de.uni_hildesheim.sse.translation.DerivedTypeMetaCompoundAccessVisitor: Clears this visitor for reuse on the initially given receiver.
clear() - Method in class de.uni_hildesheim.sse.translation.TypeContext: Clears this type context (for possible reuse).
clearUnresolvedCompounds(String) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Clears the list of incomplete compounds, where the parent/super compound of a refinement was missing.
closeSorter(IContainableElementsSorter, List<EObject>) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Closes an elements sorter (regarding the stored data) and sorts the elements within the compound.
CODE - Static variable in exception de.uni_hildesheim.sse.translation.UnknownTypeException
CODE - Static variable in exception de.uni_hildesheim.sse.translation.UnknownVariableException
CODE - Static variable in exception de.uni_hildesheim.sse.UnknownTypeException
comment - Variable in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator.Data: The comment instance.
comment - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator.EvalBlockResult
commentsToString(EObject) - Static method in class de.uni_hildesheim.sse.translation.CommentUtils: Handles the comments assigned to the EMF AST element object.
CommentUtils - Class in de.uni_hildesheim.sse.translation: Methods for accessing and converting comments.
CommentUtils() - Constructor for class de.uni_hildesheim.sse.translation.CommentUtils
compare(ContainableModelElement, ContainableModelElement) - Method in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator: Compares its two arguments for order.
completeLoading(ResultEntry) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Complete loading of a given model.
completeLoading() - Method in class de.uni_hildesheim.sse.translation.ModelTranslator.Result
completeLoading(ModelTranslator.Result) - Method in class de.uni_hildesheim.sse.translation.ResultEntry: Completes loading.
composeMessage(String) - Static method in exception de.uni_hildesheim.sse.translation.UnknownTypeException: Composes the message for a given type.
compoundMapping - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator
Config - Class in de.uni_hildesheim.sse: Stores some global configuration values.
Config() - Constructor for class de.uni_hildesheim.sse.Config
configureFormatting(FormattingConfig) - Method in class de.uni_hildesheim.sse.formatting.IvmlFormatter
CONSTANT - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: In case that a constant shall be modified.
Constants - Class in de.uni_hildesheim.sse.translation: Global configuration constants for the IVML translation.
Constants() - Constructor for class de.uni_hildesheim.sse.translation.Constants
ConstraintSyntaxException - Exception in de.uni_hildesheim.sse: Exception thrown in case that a constraint is given as string and parsed by ModelUtility#createConstraint(String, de.uni_hildesheim.sse.model.varModel.Project, boolean).
ConstraintSyntaxException(String) - Constructor for exception de.uni_hildesheim.sse.ConstraintSyntaxException: Creates a constraint syntax exception instance.
ContainableElementsMapAndComparator - Class in de.uni_hildesheim.sse.translation: A helper class which supports ordering of containable model elements.
ContainableElementsMapAndComparator() - Constructor for class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator: Creates an instance of this class.
ContainableElementsMapAndComparator.Data - Class in de.uni_hildesheim.sse.translation: Stores internal data to be assigned to a key.
context - Variable in class de.uni_hildesheim.sse.translation.ResultEntry
continueTraversal() - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector: Returns whether the traversal of the given constraint shall be continued in case of nested trees.
createConstantValue(EObject, EStructuralFeature, IDatatype, Object...) - Static method in class de.uni_hildesheim.sse.translation.TypeContext: Creates a constant value.
createConstraint(String, Project, boolean) - Method in class de.uni_hildesheim.sse.ModelUtility: Parses a text into a constraint in the context of project.
createEmptyResult() - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Creates an empty result for failure cases.
createExpression(String, IModelElement) - Method in class de.uni_hildesheim.sse.ModelUtility: Parses a text into an expression in the context of project.
createModel(VariabilityUnit, URI, boolean, ImportResolver<Project>) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Creates a variability model from a given variability unit.
createProject(de.uni_hildesheim.sse.ivml.Project, URI, boolean, List<de.uni_hildesheim.sse.ivml.Project>, ImportResolver<Project>) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Creates a variability model from a given ECore representation of a project.
createStructuredComment(EObject, TypeContext, List<Comment>) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Creates a structured comment for the given object in context depending on the contents of comments, i.e. whether there are comments or not.
createTranslationResult() - Method in class de.uni_hildesheim.sse.translation.ModelTranslator.Result: Creates the translation result.
createValueTree(String, IDatatype, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Creates a value tree for a given type.
createVarModel(VariabilityUnit, URI, boolean) - Method in class de.uni_hildesheim.sse.ModelUtility: Create the variability model from an EMF variability unit.

D

Data() - Constructor for class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator.Data
de.uni_hildesheim.sse - package de.uni_hildesheim.sse: IVML core main classes (exported).
de.uni_hildesheim.sse.formatting - package de.uni_hildesheim.sse.formatting: IVML formatting implementation.
de.uni_hildesheim.sse.generator - package de.uni_hildesheim.sse.generator: IVML formatting implementation.
de.uni_hildesheim.sse.scoping - package de.uni_hildesheim.sse.scoping: IVML variable scoping mechanisms (unused).
de.uni_hildesheim.sse.serializer - package de.uni_hildesheim.sse.serializer: IVML serialization mechanisms.
de.uni_hildesheim.sse.translation - package de.uni_hildesheim.sse.translation: The mechanisms needed to translate an IVML Ecore model into an IVML object model.
de.uni_hildesheim.sse.validation - package de.uni_hildesheim.sse.validation: The on-the-fly validator calling the model transformation mechanism.
de.uni_hildesheim.sse.values - package de.uni_hildesheim.sse.values: The IVML specific value converters.
deactivate(ComponentContext) - Method in class de.uni_hildesheim.sse.IvmlParser: Private method to to de-activate plugin.
DEBUG - Static variable in class de.uni_hildesheim.sse.Config
DEBUG - Static variable in class de.uni_hildesheim.sse.translation.Constants: Creates additional debug output.
definitionsProcessed - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator
DEREFERENCE - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: In case that dereferences are not possible.
DerivedTypeMetaCompoundAccessVisitor - Class in de.uni_hildesheim.sse.translation: A checking visitor for illegal compound accesses in declaration of derived data types.
DerivedTypeMetaCompoundAccessVisitor(MessageReceiver) - Constructor for class de.uni_hildesheim.sse.translation.DerivedTypeMetaCompoundAccessVisitor: Creates a visitor bound to a given message receiver.
derivedTypeVisitor - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator
determineIndex(ContainableModelElement) - Method in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator: Determines the actual (virtual) index of the given element.
directContext - Variable in class de.uni_hildesheim.sse.translation.TypeContext
doSetup() - Static method in class de.uni_hildesheim.sse.IvmlStandaloneSetup: Performs the setup.

E

element - Variable in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator.Data: The model element instance.
elementSortMaps - Variable in class de.uni_hildesheim.sse.translation.TypeContext
ensureStructuredComment(EObject, TypeContext) - Static method in class de.uni_hildesheim.sse.translation.CommentUtils: Creates a Comment from comments assigned to the EMF AST element object.
entries - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator.Result
eProject - Variable in class de.uni_hildesheim.sse.translation.ResultEntry
error(IIdentifiable, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Turns an IVML exception into a xText error.
error(IIdentifiable, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Turns an IVML exception into a xText error.
errorAboutTopLevelWarning(EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Checks for illegal top-level warnings and emits an error if required.
ErrorCodes - Class in de.uni_hildesheim.sse.translation: Defines error codes for messages used in unit testing.
ErrorCodes() - Constructor for class de.uni_hildesheim.sse.translation.ErrorCodes: Prevents creating instances of this class.
errorCount - Variable in class de.uni_hildesheim.sse.translation.ResultEntry
EvalBlockResult() - Constructor for class de.uni_hildesheim.sse.translation.ModelTranslator.EvalBlockResult
evals - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult
ExpressionTranslator - Class in de.uni_hildesheim.sse.translation: Implements a class which translates a given EMF expression in terms of the IVML grammar into the IVML object model.
ExpressionTranslator() - Constructor for class de.uni_hildesheim.sse.translation.ExpressionTranslator: Creates an expression translator (to be used within this package only).
expressionTranslator - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator: Contains an expression translator instance.
exprs - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult

F

feature - Variable in class de.uni_hildesheim.sse.translation.DerivedTypeMetaCompoundAccessVisitor
fileAccess - Variable in class de.uni_hildesheim.sse.generator.Main
findActualParent(IModelElement) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Returns the actual project or compound the element is located in.
findCompounds(List<String>, boolean) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Finds compounds according to the given names.
findElementByName(String, Class<? extends ModelElement>) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Searches for a specified element.
findOperation(IDatatype, Operation, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Finds an operation on a given datatype.
findRefType(IDatatype) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Finds a reference type (declaration or defines an implicit type) for a given contained type.
findType(String, Class<? extends IDatatype>) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Finds the specified data type definition.
findVariable(String, Class<? extends AbstractVariable>) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Searches for a specified variable.
findVariableUse(String) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Searches for the use of a specified variable (declaration or compound access).
FREEZE - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Attempt to freeze the wrong type of elements.
freezes - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult

G

generator - Variable in class de.uni_hildesheim.sse.generator.Main
getAccessor(List<ActualArgument>, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given arguments.
getAccessor(ImplicationExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(AssignmentExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(LogicalExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(EqualityExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(RelationalExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(AdditiveExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(MultiplicativeExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(UnaryExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(PostfixExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(PrimaryExpression, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(Literal, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAccessor(Value, DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Extracts a compound accessor/slot name from the given expression.
getAttrAssignments() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the attribute assignments.
getAttrs() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the attributes.
getContext() - Method in class de.uni_hildesheim.sse.translation.ResultEntry: Returns the actual type context.
getElement(int) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Returns a contained model element specified by index.
getElement(String) - Method in class de.uni_hildesheim.sse.translation.TypeContext
getElementCount() - Method in class de.uni_hildesheim.sse.translation.TypeContext: Returns the number of contained elements.
getEProject() - Method in class de.uni_hildesheim.sse.translation.ResultEntry: Returns the xText project.
getEvals() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the evals.
getExprs() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the expressions.
getExtension() - Method in class de.uni_hildesheim.sse.ModelUtility
getFreezes() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the freezes.
getImport(int) - Method in class de.uni_hildesheim.sse.translation.TypeContext
getImportsCount() - Method in class de.uni_hildesheim.sse.translation.TypeContext
getLanguageClassLoader() - Method in class de.uni_hildesheim.sse.ModelUtility
getLanguageName() - Method in class de.uni_hildesheim.sse.ModelUtility
getModelLoader() - Method in class de.uni_hildesheim.sse.IvmlParser
getModelManagement() - Method in class de.uni_hildesheim.sse.IvmlParser
getName() - Method in class de.uni_hildesheim.sse.translation.TypeContext
getOpdefs() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the operation definitions.
getParent() - Method in class de.uni_hildesheim.sse.translation.TypeContext
getProject() - Method in class de.uni_hildesheim.sse.translation.ResultEntry: Returns the (result) project.
getProject() - Method in class de.uni_hildesheim.sse.translation.TypeContext: Returns the project providing the root resolution scope.
getQualifiedNameString(QualifiedName) - Static method in class de.uni_hildesheim.sse.translation.Utils: Returns a string representing a qualified name.
getQualifiedNameString(QualifiedName, AccessName) - Static method in class de.uni_hildesheim.sse.translation.Utils: Returns a string representing a qualified name.
getSelf(Compound) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Returns a self instance from the self pool.
getSpecificType(IDatatype, ContainerInitializer, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Returns the specific type of a collection initializer.
getSplitResult() - Method in class de.uni_hildesheim.sse.translation.ResultEntry: Returns the splitted entries.
getTranslator() - Method in class de.uni_hildesheim.sse.translation.ModelTranslator.Result: Returns the translator instance.
getTypedefs() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the type definitions.
getUnresolvedCompoundRefinments(String) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Returns a list of compounds where the given compound was specified as a super/parent compound, but could not be set, as it was not available during parsing the child compound.
getVarDecls() - Method in class de.uni_hildesheim.sse.translation.Utils.SplitResult: Returns the variable declarations.

H

handleBasicComment(EObject, ConstraintSyntaxTree) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Handles the comments assigned to the EMF AST element object and inserts a comment node as top of the subtree if required.
handleBasicComment(EObject, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Handles the comments assigned to the EMF AST element object.
hasInterfaces() - Method in class de.uni_hildesheim.sse.translation.TypeContext
hasLiteral(Enum, String) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Returns whether the given enumeration eenum defines a literal called name.
hasSlot(Compound, String) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Returns whether the given compound comp or its refined compounds contains a slot of name name.
hasTopLevelWarning - Variable in class de.uni_hildesheim.sse.translation.ExpressionTranslator

I

ID - Static variable in class de.uni_hildesheim.sse.IvmlBundleId: Stores the bundle ID.
ID() - Method in class de.uni_hildesheim.sse.values.IvmlValueConverters: Returns the value converter for IDs.
idValueConverter - Variable in class de.uni_hildesheim.sse.values.IvmlValueConverters
implicitDefinitions - Variable in class de.uni_hildesheim.sse.translation.TypeContext
ImportTranslator - Class in de.uni_hildesheim.sse.translation: A class which specifically does the import translations.
ImportTranslator() - Constructor for class de.uni_hildesheim.sse.translation.ImportTranslator
index - Variable in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator.Data: The index of the comment with respect to the initial EObject key.
inferDatatypeQuietly(ConstraintSyntaxTree) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Infers the datatype of cst.
initializeAfterResourceInitializer() - Method in class de.uni_hildesheim.sse.ModelUtility
initLevel() - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Initializes the levels.
INSTANCE - Static variable in class de.uni_hildesheim.sse.ModelUtility
INTERNAL - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Internal error, should not occur.
IParser - Interface in de.uni_hildesheim.sse: Just a markup interface for OSGi DS.
isAssignment - Variable in class de.uni_hildesheim.sse.translation.AssignmentDetector
isAssignment() - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector: Returns whether the expression is an assignment at maximum at the given level.
isDebuggingEnabled() - Static method in class de.uni_hildesheim.sse.Config: Returns whether debugging is enabled.
isImportResolutionEnabled() - Static method in class de.uni_hildesheim.sse.translation.Utils: Returns whether the import resolution shall be enabled.
isInterface() - Method in class de.uni_hildesheim.sse.translation.TypeContext
IvmlBundleId - Class in de.uni_hildesheim.sse: Stores data about the containing OSGi bundle (static bundle without activator).
IvmlBundleId() - Constructor for class de.uni_hildesheim.sse.IvmlBundleId
IvmlFormatter - Class in de.uni_hildesheim.sse.formatting: This class contains custom formatting description.
IvmlFormatter() - Constructor for class de.uni_hildesheim.sse.formatting.IvmlFormatter
IvmlJavaValidator - Class in de.uni_hildesheim.sse.validation: The on-the-fly validator calling the model transformation mechanism.
IvmlJavaValidator() - Constructor for class de.uni_hildesheim.sse.validation.IvmlJavaValidator
IvmlParser - Class in de.uni_hildesheim.sse: Registers IMVL automatically.
IvmlParser() - Constructor for class de.uni_hildesheim.sse.IvmlParser
IvmlRuntimeModule - Class in de.uni_hildesheim.sse: Use this class to register components to be used at runtime / without the Equinox extension registry.
IvmlRuntimeModule() - Constructor for class de.uni_hildesheim.sse.IvmlRuntimeModule
IvmlScopeProvider - Class in de.uni_hildesheim.sse.scoping: This class contains custom scoping description.
IvmlScopeProvider() - Constructor for class de.uni_hildesheim.sse.scoping.IvmlScopeProvider
IvmlSemanticSequencer - Class in de.uni_hildesheim.sse.serializer: A semantic sequencer...
IvmlSemanticSequencer() - Constructor for class de.uni_hildesheim.sse.serializer.IvmlSemanticSequencer
IvmlStandaloneSetup - Class in de.uni_hildesheim.sse: Initialization support for running Xtext languages without equinox extension registry.
IvmlStandaloneSetup() - Constructor for class de.uni_hildesheim.sse.IvmlStandaloneSetup
IvmlSyntacticSequencer - Class in de.uni_hildesheim.sse.serializer: A syntactic sequencer...
IvmlSyntacticSequencer() - Constructor for class de.uni_hildesheim.sse.serializer.IvmlSyntacticSequencer
IvmlValueConverters - Class in de.uni_hildesheim.sse.values: Factory for the value converters.
IvmlValueConverters() - Constructor for class de.uni_hildesheim.sse.values.IvmlValueConverters

L

level - Variable in class de.uni_hildesheim.sse.translation.AssignmentDetector
level - Variable in class de.uni_hildesheim.sse.translation.ExpressionTranslator
LEVEL_UNLIMITED - Static variable in class de.uni_hildesheim.sse.translation.AssignmentDetector: The level specification to be used if traversal shall not be limited.
LHS_NOT_COLLECTION - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Operand of collection operation is not a collection.

M

Main - Class in de.uni_hildesheim.sse.generator: Executes the language generator.
Main() - Constructor for class de.uni_hildesheim.sse.generator.Main
main(String[]) - Static method in class de.uni_hildesheim.sse.generator.Main: Executes the language generator.
map - Variable in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator: Stores the EObject-ContainableElementsMapAndComparator.Data or ContainableModelElement-ContainableElementsMapAndComparator.Data mappings.
maxLevel - Variable in class de.uni_hildesheim.sse.translation.AssignmentDetector
messageReceiver - Variable in class de.uni_hildesheim.sse.translation.TypeContext
ModelTranslator - Class in de.uni_hildesheim.sse.translation: Implements a ECore-to-IVML translator.
ModelTranslator() - Constructor for class de.uni_hildesheim.sse.translation.ModelTranslator: Creates a model translator instance.
ModelTranslator.EvalBlockResult - Class in de.uni_hildesheim.sse.translation: Temporary result of evalu block processing.
ModelTranslator.Result - Class in de.uni_hildesheim.sse.translation: Implements a translation result enabling deferred model loading.
ModelUtility - Class in de.uni_hildesheim.sse: (Entry points for) Utilities for working with the EMF model.
ModelUtility() - Constructor for class de.uni_hildesheim.sse.ModelUtility: Prevents external creation.

N

NO_DEEP_TRAVERSAL - Static variable in class de.uni_hildesheim.sse.translation.AssignmentDetector: The level specification to be used if no deep traversal shall happen (just the top level).

O

obtainInfo(URI) - Method in class de.uni_hildesheim.sse.ModelUtility: Obtains project info.
obtainVariable(AbstractVariable) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Obtains a CTS variable node for a given variable declaration, i.e., creates it or returns it from the variable pool of this context.
onLoadMsgCleanupListener - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator
opdefs - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult

P

parse(URI, ImportResolver<Project>) - Method in class de.uni_hildesheim.sse.ModelUtility
popLayer(int) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Pops count layers.
popLayer() - Method in class de.uni_hildesheim.sse.translation.TypeContext: Pop a resolution layer in case that intermediary variables shell be considered, e.g.
print(TranslationResult<Project>, Writer, boolean, boolean) - Method in class de.uni_hildesheim.sse.ModelUtility: Prints the var model stored in the result to the console output stream (for debugging).
println(String) - Static method in class de.uni_hildesheim.sse.translation.CommentUtils: Prints out a test and thereby emits explicit characters for marking the line feed.
processAccess(ConstraintSyntaxTree, ExpressionAccess, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process an access expression.
processAdditiveExpression(AdditiveExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process an additive expression and turn it into a feature call.
processAnnotation(AnnotateTo, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an annotation.
processAnnotation(AnnotateTo, String, TypeContext, Attribute) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes the annotation of name.
processArgument(IDatatype, ActualArgument, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process an argument and returns a (named) expression.
processAssignmentExpression(AssignmentExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process an assignment expression and turn it into a feature call.
processAttributeAssignment(AttrAssignment, TypeContext, IDecisionVariableContainer, boolean, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an attribute assignment.
processAttributeAssignmentExpressions(List<AttrAssignment>, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes all the expressions of attribute assignments.
processAttributeAssignments(List<AttrAssignment>, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolves attribute assignments.
processBlockExpression(de.uni_hildesheim.sse.ivml.BlockExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a block expression.
processCallsAndAccess(ConstraintSyntaxTree, List<Call>, ExpressionAccess, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a possible empty list of calls and a possible empty access expression.
processCompound(TypedefCompound, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes a compound definition.
processCompoundInitializer(IDatatype, TypeContext, IModelElement, IDatatype, EList<ExpressionListEntry>) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a compound initializer.
processConflict(ConflictStmt) - Static method in class de.uni_hildesheim.sse.translation.ImportTranslator: Processes a conflict statement including import restrictions.
processConflict(ConflictStmt, ExpressionTranslator, TypeContext) - Static method in class de.uni_hildesheim.sse.translation.ImportTranslator: Processes a conflict statement including import restrictions.
processConflict(ConflictStmt, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes a conflict statement including import restrictions.
processContainerInitializer(IDatatype, EObject, ContainerInitializer, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a container initializer.
processContainerInitializer(IDatatype, TypeContext, IModelElement, EList<ExpressionListEntry>) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a container initializer.
processContainerOp(ConstraintSyntaxTree, ContainerOp, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a container operation.
processContainerOp(ConstraintSyntaxTree, ContainerOp, List<DecisionVariableDeclaration>, ConstraintSyntaxTree, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a container operation.
processDeclaration(ConstraintSyntaxTree, ContainerOp, TypeContext, IModelElement, Declaration, List<DecisionVariableDeclaration>) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a valid declaration.
processDefinitions(List<Typedef>, List<VariableDeclaration>, List<AttrAssignment>, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolve dependencies among type definitions and resolve types in proper sequence.
processEnum(TypedefEnum, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an enum definition.
processEqualityExpression(EqualityExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a equality expression and turn it into a feature call.
processEval(Eval, TypeContext, Compound) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an evaluation block.
processEval(Eval, IModelElement, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Process an eval block.
processExpression(Expression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes an expression and returns the result as a syntax tree.
processExpression(IDatatype, OptBlockExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes an (optional block) expression.
processExpression(IDatatype, Expression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes an expression and returns the result as a syntax tree.
processExpressions(List<Typedef>, List<AttrAssignment>, List<ExpressionStatement>, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes all expressions at once and delegates to further processing methods.
processExpressionStatement(ExpressionStatement, TypeContext, IDecisionVariableContainer, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an expression statement and adds the result to the project in context.
processFeatureCall(ConstraintSyntaxTree, FeatureCall, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a feature call.
processFeatureCallImpl(ConstraintSyntaxTree, ActualArgumentList, TypeContext, IModelElement, boolean) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a feature call.
processFreeze(Freeze, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes a freeze block.
processImplicationExpression(ImplicationExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process an implication expression and turn it into a feature call.
processImport(ImportStmt) - Static method in class de.uni_hildesheim.sse.translation.ImportTranslator: Processes an import statement including import restrictions.
processImport(ImportStmt, ExpressionTranslator, TypeContext) - Static method in class de.uni_hildesheim.sse.translation.ImportTranslator: Processes an import statement including import restrictions.
processImport(ImportStmt, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an import statement including import restrictions.
processInterface(InterfaceDeclaration, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an interface.
processLiteralContainer(IDatatype, ContainerInitializer, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Processes a collection initializer and returns the related constraint syntax tree node.
processLogicalExpression(LogicalExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a logical expression and turn it into a feature call.
processMapping(TypedefMapping, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes a typdef (type mapping).
processMultiplicativeExpression(MultiplicativeExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a multiplicative expression and turn it into a feature call.
processOpdef(OpDefStatement, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes a custom operation definition and adds it to the type context.
processOpDefImpl(OpDefStatement, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes an operation definition implementation.
processOpDefs(List<OpDefStatement>, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolve dependencies among operation definitions in proper sequence.
processOpDefs(List<OpDefStatement>, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolves operation definitions.
processPostfixExpression(PostfixExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a postfix expression and turn it into a feature call.
processPrimaryExpression(PrimaryExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a primary expression.
processQValue(String, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Processes a qualified name as value.
processRelationalExpression(RelationalExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a relational expression and turn it into a feature call.
processRestrictionExpression(String, Expression, ExpressionTranslator, TypeContext, IMessageHandler) - Static method in class de.uni_hildesheim.sse.translation.ImportTranslator: Turns an ECore expression into a version restriction.
processTypeDefExpressions(List<Typedef>, TypeContext) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Processes all the expressions of type definitions.
processTypedefs(List<Typedef>, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolves compound type definitions.
processUnaryExpression(UnaryExpression, TypeContext, IModelElement) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Process a unary expression and turn it into a feature call.
processVariableDeclaration(VariableDeclaration, TypeContext, IDecisionVariableContainer, boolean, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Process variable declaration decl add IVML object model instances to project or compound.
processVars(List<VariableDeclaration>, TypeContext, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolves variable declarations.
project - Variable in class de.uni_hildesheim.sse.translation.ResultEntry
project - Variable in class de.uni_hildesheim.sse.translation.TypeContext
pushLayer(IModelElement) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Push a resolution layer in case that intermediary variables shell be considered, e.g.
pushParent(DecisionVariableDeclaration) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Pushes the enclosing parents of decVar.
pushParentRec(IModelElement) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Pushes the enclosing parents of elt in a recursive manner.
put(EObject, Comment, ContainableModelElement) - Method in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator: Adds a mapping from key to comment (optional) and element.

R

receiver - Variable in class de.uni_hildesheim.sse.translation.DerivedTypeMetaCompoundAccessVisitor
REF_BY - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: In case of refBy problems.
refByChecker - Variable in class de.uni_hildesheim.sse.translation.ExpressionTranslator
RefByCheckVisitor - Class in de.uni_hildesheim.sse.translation: A simple visitor checking whether an expression can be dereferenced.
RefByCheckVisitor() - Constructor for class de.uni_hildesheim.sse.translation.RefByCheckVisitor
refType(IDatatype, TypeContext) - Static method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Obtains the reference type.
registerIfNeeded(int) - Method in class de.uni_hildesheim.sse.translation.ResultEntry: Registers the (successful) result if needed, i.e., if ResultEntry.setRegistrationInfo(URI, int) has been called with a URL.
registerSorter(IContainableElementsSorter, EObject, Comment, ContainableModelElement) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Registers an element to be sorted (later).
reset() - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor: Resets the value determined by this visitor.
resolveAssignments(List<AttrAssignment>, TypeContext, IDecisionVariableContainer, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolves the given assignments in attrAssignments.
resolveDeclarations(List<VariableDeclaration>, TypeContext, IDecisionVariableContainer, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolves the given declarations in varDecl.
resolveImports(de.uni_hildesheim.sse.ivml.Project, Project, URI, List<de.uni_hildesheim.sse.ivml.Project>, ImportResolver<Project>, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Resolve the imports.
resolveSelf(IModelElement, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Resolves "self" and returns the corresponding syntax tree (one node).
resolveType(Type) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Resolves a given type to a type representation in the IVML object model.
resolveValue(Value, IModelElement, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Resolves a value and returns the corresponding syntax tree (one node).
resourceSetProvider - Variable in class de.uni_hildesheim.sse.generator.Main
Result(ModelTranslator) - Constructor for class de.uni_hildesheim.sse.translation.ModelTranslator.Result: Creates a result instance representing the parse result for multiple projects and enables deferred loading.
ResultEntry - Class in de.uni_hildesheim.sse.translation: A result entry consisting of an xtext and a result model.
ResultEntry(de.uni_hildesheim.sse.ivml.Project, Project, TypeContext, Utils.SplitResult) - Constructor for class de.uni_hildesheim.sse.translation.ResultEntry: Creates the result entry.
runGenerator(String) - Method in class de.uni_hildesheim.sse.generator.Main: Executes the generator on an EMF resource.

S

select(List<EObject>, Class<T>) - Static method in class de.uni_hildesheim.sse.translation.Utils: Selects those elements out of list which are an instance of type.
selfPool - Variable in class de.uni_hildesheim.sse.translation.TypeContext
setContext(EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.DerivedTypeMetaCompoundAccessVisitor: Defines the context for emitting errors.
setIndex(EObject, int) - Method in class de.uni_hildesheim.sse.translation.ContainableElementsMapAndComparator: Assigns the given index taken from the sequence of key objects to the comment or element in the assigned data.
setIndexes(List<EObject>, ContainableElementsMapAndComparator) - Static method in class de.uni_hildesheim.sse.translation.TypeContext: Transfers the index positions of elements to map.
setMaxLevel(int) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector: Defines the maximum search level.
setRegistrationInfo(URI, int) - Method in class de.uni_hildesheim.sse.translation.ResultEntry: Sets additional information required to register a successfully created model with VarModel.
sortMap - Variable in class de.uni_hildesheim.sse.translation.TypeContext
sortProjectElements(List<EObject>) - Method in class de.uni_hildesheim.sse.translation.TypeContext: Sorts the elements in the root resolution scope according to the the given list of top-level elements.
split(List<EObject>) - Static method in class de.uni_hildesheim.sse.translation.Utils: Splits the now heterogeneous list of elements in elements into individual lists stored in the result instance.
split(List<EObject>, Utils.SplitResult) - Static method in class de.uni_hildesheim.sse.translation.Utils: Splits the now heterogeneous list of elements in elements into individual lists stored in result instance.
splitResult - Variable in class de.uni_hildesheim.sse.translation.ResultEntry
SplitResult() - Constructor for class de.uni_hildesheim.sse.translation.Utils.SplitResult
STRING() - Method in class de.uni_hildesheim.sse.values.IvmlValueConverters: Returns the value converter for strings.
stringValue(Type) - Static method in class de.uni_hildesheim.sse.ModelUtility: Returns the string representation of type (no search).
stringValue(Type, boolean) - Static method in class de.uni_hildesheim.sse.ModelUtility: Returns the string representation of type.
stringValue(DerivedType, boolean) - Static method in class de.uni_hildesheim.sse.ModelUtility: Returns the string representation of type.
stringValueConverter - Variable in class de.uni_hildesheim.sse.values.IvmlValueConverters

T

toComment(EObject, IModelElement) - Static method in class de.uni_hildesheim.sse.translation.CommentUtils: Creates a Comment from comments assigned to the EMF AST element object.
TOKEN_ML_COMMENT - Static variable in class de.uni_hildesheim.sse.translation.CommentUtils
TOKEN_SL_COMMENT - Static variable in class de.uni_hildesheim.sse.translation.CommentUtils
TOKEN_WHITESPACE - Static variable in class de.uni_hildesheim.sse.translation.CommentUtils
toString(List<VariableDeclarationPart>) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Turns variable declaration parts into strings for debugging.
toString(VariableDeclaration) - Static method in class de.uni_hildesheim.sse.translation.Utils: Turns the declared variable names of the varDecl into a string.
toStructuredComment(EObject, ModelElement) - Static method in class de.uni_hildesheim.sse.translation.CommentUtils: Creates a Comment from comments assigned to the EMF AST element object.
translateToValues(Object[]) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Translates constant expression trees to constant values.
translator - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator.Result
TYPE_QUALIFICATION - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: In case of undesired explicit type qualifications.
TypeContext - Class in de.uni_hildesheim.sse.translation: Defines a type context which consists of all variables defined in a project and additionally variables which can be added to the context in a layered manner.
TypeContext(Project, MessageReceiver) - Constructor for class de.uni_hildesheim.sse.translation.TypeContext: Creates a type context for a given project.
TypeContext(TypeContext) - Constructor for class de.uni_hildesheim.sse.translation.TypeContext: Creates a local type context.
typedefMapping - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator
typedefs - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult

U

UnknownTypeException - Exception in de.uni_hildesheim.sse.translation: Thrown in case of an unknown type.
UnknownTypeException(String, Type, EStructuralFeature) - Constructor for exception de.uni_hildesheim.sse.translation.UnknownTypeException: Creates an unknown type exception.
UnknownTypeException - Exception in de.uni_hildesheim.sse: A specific exception thrown in case that a type cannot be resolved.
UnknownTypeException(String) - Constructor for exception de.uni_hildesheim.sse.UnknownTypeException: Creates an instance.
UnknownVariableException - Exception in de.uni_hildesheim.sse.translation: Thrown in case of an unknown variable.
UnknownVariableException(String, EObject, EStructuralFeature) - Constructor for exception de.uni_hildesheim.sse.translation.UnknownVariableException: Creates an unknown type exception.
unqualified(IDatatype) - Static method in class de.uni_hildesheim.sse.translation.ModelTranslator: Returns the unqualified name of type.
unresolvedCompoundRefinements - Variable in class de.uni_hildesheim.sse.translation.TypeContext
uri - Variable in class de.uni_hildesheim.sse.translation.ResultEntry
Utils - Class in de.uni_hildesheim.sse.translation: Some public utility methods.
Utils() - Constructor for class de.uni_hildesheim.sse.translation.Utils: Prevents this class from being instantiated from outside.
Utils.SplitResult - Class in de.uni_hildesheim.sse.translation: The result of splitting a contents object.

V

validator - Variable in class de.uni_hildesheim.sse.generator.Main
varDecls - Variable in class de.uni_hildesheim.sse.translation.Utils.SplitResult
variableDeclarationsResolvable(List<VariableDeclaration>, TypeContext, IDecisionVariableContainer, boolean) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Returns whether the declarations in varDecl can be resolved in the given context and the given parent container.
variablePool - Variable in class de.uni_hildesheim.sse.translation.TypeContext
varMapping - Variable in class de.uni_hildesheim.sse.translation.ModelTranslator
VERSION() - Method in class de.uni_hildesheim.sse.values.IvmlValueConverters: Returns the value converter for version numbers.
versionValueConverter - Variable in class de.uni_hildesheim.sse.values.IvmlValueConverters
visitAnnotationVariable(AttributeVariable) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitAnnotationVariable(AttributeVariable) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitBlockExpression(BlockExpression) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitBlockExpression(BlockExpression) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitComment(Comment) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitComment(Comment) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitCompoundAccess(CompoundAccess) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitCompoundAccess(CompoundAccess) - Method in class de.uni_hildesheim.sse.translation.DerivedTypeMetaCompoundAccessVisitor
visitCompoundAccess(CompoundAccess) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitCompoundInitializer(CompoundInitializer) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitCompoundInitializer(CompoundInitializer) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitConstantValue(ConstantValue) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitConstantValue(ConstantValue) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitContainerInitializer(ContainerInitializer) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitContainerInitializer(ContainerInitializer) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitContainerOperationCall(ContainerOperationCall) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitContainerOperationCall(ContainerOperationCall) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitIfThen(IfThen) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitIfThen(IfThen) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitLet(Let) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitLet(Let) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitMultiAndExpression(MultiAndExpression) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitMultiAndExpression(MultiAndExpression) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitOclFeatureCall(OCLFeatureCall) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitOclFeatureCall(OCLFeatureCall) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitParenthesis(Parenthesis) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitParenthesis(Parenthesis) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitSelf(Self) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitSelf(Self) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitUnresolvedExpression(UnresolvedExpression) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitUnresolvedExpression(UnresolvedExpression) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor
visitVariable(Variable) - Method in class de.uni_hildesheim.sse.translation.AssignmentDetector
visitVariable(Variable) - Method in class de.uni_hildesheim.sse.translation.RefByCheckVisitor

W

warnDiscouragedNames(String, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Checks for and warns about discouraged names.
warning(IvmlException, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ExpressionTranslator: Turns an IVML exception into a xText warning.
warning(IvmlException, EObject, EStructuralFeature) - Method in class de.uni_hildesheim.sse.translation.ModelTranslator: Turns an IVML exception into a xText warning.
WARNING_DIFFERENT_TYPES - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Usage of using different types where same types would be expected (comparison).
WARNING_USAGE - Static variable in class de.uni_hildesheim.sse.translation.ErrorCodes: Usage of warning function at wrong position.

A B C D E F G H I L M N O P R S T U V W