Uses of Class
de.uni_hildesheim.sse.translation.TypeContext

Packages that use TypeContext

Package	Description
de.uni_hildesheim.sse.translation	The mechanisms needed to translate an IVML Ecore model into an IVML object model.

Uses of TypeContext in de.uni_hildesheim.sse.translation

Fields in de.uni_hildesheim.sse.translation declared as TypeContext

Modifier and Type	Field	Description
private TypeContext	ResultEntry.context

Methods in de.uni_hildesheim.sse.translation that return TypeContext

Modifier and Type	Method	Description
(package private) TypeContext	ResultEntry.getContext()	Returns the actual type context.

Methods in de.uni_hildesheim.sse.translation with parameters of type TypeContext

Modifier and Type	Method	Description
private boolean	ModelTranslator.attributeAssignmentsResolvable(java.util.List<de.uni_hildesheim.sse.ivml.AttrAssignment> attrAssignments, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force)	Returns whether the assignments in attrAssignments can be resolved in the given context and the given parent container.
private net.ssehub.easy.varModel.model.StructuredComment	ModelTranslator.createStructuredComment(org.eclipse.emf.ecore.EObject object, TypeContext context, java.util.List<net.ssehub.easy.varModel.model.Comment> comments)	Creates a structured comment for the given object in context depending on the contents of comments, i.e.
(package private) static net.ssehub.easy.varModel.model.StructuredComment	CommentUtils.ensureStructuredComment(org.eclipse.emf.ecore.EObject object, TypeContext context)	Creates a Comment from comments assigned to the EMF AST element object.
private net.ssehub.easy.varModel.model.datatypes.IDatatype	ExpressionTranslator.getSpecificType(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context)	Returns the specific type of a collection initializer.
private net.ssehub.easy.varModel.model.Comment	ModelTranslator.handleBasicComment(org.eclipse.emf.ecore.EObject object, TypeContext context)	Handles the comments assigned to the EMF AST element object.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processAccess(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ExpressionAccess access, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process an access expression.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processAdditiveExpression(de.uni_hildesheim.sse.ivml.AdditiveExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process an additive expression and turn it into a feature call.
protected void	ModelTranslator.processAnnotation(de.uni_hildesheim.sse.ivml.AnnotateTo annotation, TypeContext context)	Processes an annotation.
protected net.ssehub.easy.varModel.model.Attribute	ModelTranslator.processAnnotation(de.uni_hildesheim.sse.ivml.AnnotateTo annotation, java.lang.String name, TypeContext context, net.ssehub.easy.varModel.model.Attribute initial)	Processes the annotation of name.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processArgument(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, de.uni_hildesheim.sse.ivml.ActualArgument arg, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process an argument and returns a (named) expression.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processAssignmentExpression(de.uni_hildesheim.sse.ivml.AssignmentExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process an assignment expression and turn it into a feature call.
private boolean	ModelTranslator.processAttributeAssignment(de.uni_hildesheim.sse.ivml.AttrAssignment assgn, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean process, boolean force)	Processes an attribute assignment.
private void	ModelTranslator.processAttributeAssignmentExpressions(java.util.List<de.uni_hildesheim.sse.ivml.AttrAssignment> assignments, TypeContext context)	Processes all the expressions of attribute assignments.
private void	ModelTranslator.processAttributeAssignments(java.util.List<de.uni_hildesheim.sse.ivml.AttrAssignment> assignments, TypeContext context, boolean force)	Resolves attribute assignments.
(package private) net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processBlockExpression(de.uni_hildesheim.sse.ivml.BlockExpression block, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes a block expression.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processCallsAndAccess(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, java.util.List<de.uni_hildesheim.sse.ivml.Call> calls, de.uni_hildesheim.sse.ivml.ExpressionAccess access, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a possible empty list of calls and a possible empty access expression.
private boolean	ModelTranslator.processCompound(de.uni_hildesheim.sse.ivml.TypedefCompound tcomp, TypeContext context, boolean force)	Processes a compound definition.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processCompoundInitializer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, net.ssehub.easy.varModel.model.datatypes.IDatatype specificType, org.eclipse.emf.common.util.EList<de.uni_hildesheim.sse.ivml.ExpressionListEntry> entryList)	Processes a compound initializer.
static net.ssehub.easy.varModel.model.ProjectImport	ImportTranslator.processConflict(de.uni_hildesheim.sse.ivml.ConflictStmt conflictStmt, ExpressionTranslator translator, TypeContext context)	Processes a conflict statement including import restrictions.
protected void	ModelTranslator.processConflict(de.uni_hildesheim.sse.ivml.ConflictStmt conflictStmt, TypeContext context)	Processes a conflict statement including import restrictions.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processContainerInitializer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, org.eclipse.emf.common.util.EList<de.uni_hildesheim.sse.ivml.ExpressionListEntry> entryList)	Processes a container initializer.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processContainerInitializer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, org.eclipse.emf.ecore.EObject expr, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes a container initializer.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes a container operation.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, java.util.List<net.ssehub.easy.varModel.model.DecisionVariableDeclaration> declarators, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree declEx, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes a container operation.
private void	ExpressionTranslator.processDeclaration(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, de.uni_hildesheim.sse.ivml.Declaration declaration, java.util.List<net.ssehub.easy.varModel.model.DecisionVariableDeclaration> declarators)	Processes a valid declaration.
private void	ModelTranslator.processDefinitions(java.util.List<de.uni_hildesheim.sse.ivml.Typedef> typedefs, java.util.List<de.uni_hildesheim.sse.ivml.VariableDeclaration> vardecls, java.util.List<de.uni_hildesheim.sse.ivml.AttrAssignment> assignments, TypeContext context, boolean force)	Resolve dependencies among type definitions and resolve types in proper sequence.
private void	ModelTranslator.processEnum(de.uni_hildesheim.sse.ivml.TypedefEnum tenum, TypeContext context)	Processes an enum definition.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processEqualityExpression(de.uni_hildesheim.sse.ivml.EqualityExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a equality expression and turn it into a feature call.
protected void	ModelTranslator.processEval(de.uni_hildesheim.sse.ivml.Eval eval, TypeContext context, net.ssehub.easy.varModel.model.datatypes.Compound compound)	Processes an evaluation block.
private ModelTranslator.EvalBlockResult	ModelTranslator.processEval(de.uni_hildesheim.sse.ivml.Eval eval, net.ssehub.easy.varModel.model.IModelElement parent, TypeContext context)	Process an eval block.
net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processExpression(de.uni_hildesheim.sse.ivml.Expression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes an expression and returns the result as a syntax tree.
(package private) net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processExpression(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, de.uni_hildesheim.sse.ivml.Expression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes an expression and returns the result as a syntax tree.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processExpression(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, de.uni_hildesheim.sse.ivml.OptBlockExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes an (optional block) expression.
private void	ModelTranslator.processExpressions(java.util.List<de.uni_hildesheim.sse.ivml.Typedef> typedefs, java.util.List<de.uni_hildesheim.sse.ivml.AttrAssignment> assignments, java.util.List<de.uni_hildesheim.sse.ivml.ExpressionStatement> exprs, TypeContext context)	Processes all expressions at once and delegates to further processing methods.
void	ModelTranslator.processExpressionStatement(de.uni_hildesheim.sse.ivml.ExpressionStatement statement, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean internal)	Processes an expression statement and adds the result to the project in context.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processFeatureCall(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.FeatureCall call, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes a feature call.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processFeatureCallImpl(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ActualArgumentList call, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, boolean checkOclCompliance)	Processes a feature call.
protected void	ModelTranslator.processFreeze(de.uni_hildesheim.sse.ivml.Freeze freeze, TypeContext context)	Processes a freeze block.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processImplicationExpression(de.uni_hildesheim.sse.ivml.ImplicationExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process an implication expression and turn it into a feature call.
static net.ssehub.easy.varModel.model.ProjectImport	ImportTranslator.processImport(de.uni_hildesheim.sse.ivml.ImportStmt importStmt, ExpressionTranslator translator, TypeContext context)	Processes an import statement including import restrictions.
protected void	ModelTranslator.processImport(de.uni_hildesheim.sse.ivml.ImportStmt importStmt, TypeContext context)	Processes an import statement including import restrictions.
protected void	ModelTranslator.processInterface(de.uni_hildesheim.sse.ivml.InterfaceDeclaration eIface, TypeContext context)	Processes an interface.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processLiteralContainer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes a collection initializer and returns the related constraint syntax tree node.
(package private) net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processLogicalExpression(de.uni_hildesheim.sse.ivml.LogicalExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a logical expression and turn it into a feature call.
private boolean	ModelTranslator.processMapping(de.uni_hildesheim.sse.ivml.TypedefMapping tmapping, TypeContext context, boolean force)	Processes a typdef (type mapping).
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processMultiplicativeExpression(de.uni_hildesheim.sse.ivml.MultiplicativeExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a multiplicative expression and turn it into a feature call.
protected boolean	ModelTranslator.processOpdef(de.uni_hildesheim.sse.ivml.OpDefStatement op, TypeContext context, boolean force)	Processes a custom operation definition and adds it to the type context.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ModelTranslator.processOpDefImpl(de.uni_hildesheim.sse.ivml.OpDefStatement op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Processes an operation definition implementation.
private void	ModelTranslator.processOpDefs(java.util.List<de.uni_hildesheim.sse.ivml.OpDefStatement> opDefs, TypeContext context)	Resolve dependencies among operation definitions in proper sequence.
private void	ModelTranslator.processOpDefs(java.util.List<de.uni_hildesheim.sse.ivml.OpDefStatement> opDefs, TypeContext context, boolean force)	Resolves operation definitions.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processPostfixExpression(de.uni_hildesheim.sse.ivml.PostfixExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a postfix expression and turn it into a feature call.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processPrimaryExpression(de.uni_hildesheim.sse.ivml.PrimaryExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a primary expression.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processRelationalExpression(de.uni_hildesheim.sse.ivml.RelationalExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a relational expression and turn it into a feature call.
private static net.ssehub.easy.basics.modelManagement.IVersionRestriction	ImportTranslator.processRestrictionExpression(java.lang.String name, de.uni_hildesheim.sse.ivml.Expression expr, ExpressionTranslator translator, TypeContext context, net.ssehub.easy.basics.messages.IMessageHandler handler)	Turns an ECore expression into a version restriction.
private void	ModelTranslator.processTypeDefExpressions(java.util.List<de.uni_hildesheim.sse.ivml.Typedef> typedefs, TypeContext context)	Processes all the expressions of type definitions.
private void	ModelTranslator.processTypedefs(java.util.List<de.uni_hildesheim.sse.ivml.Typedef> compounds, TypeContext context, boolean force)	Resolves compound type definitions.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processUnaryExpression(de.uni_hildesheim.sse.ivml.UnaryExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)	Process a unary expression and turn it into a feature call.
private boolean	ModelTranslator.processVariableDeclaration(de.uni_hildesheim.sse.ivml.VariableDeclaration decl, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer container, boolean process, boolean force)	Process variable declaration decl add IVML object model instances to project or compound.
private void	ModelTranslator.processVars(java.util.List<de.uni_hildesheim.sse.ivml.VariableDeclaration> vars, TypeContext context, boolean force)	Resolves variable declarations.
private static net.ssehub.easy.varModel.model.datatypes.IDatatype	ExpressionTranslator.refType(net.ssehub.easy.varModel.model.datatypes.IDatatype varType, TypeContext context)	Obtains the reference type.
private void	ModelTranslator.resolveAssignments(java.util.List<de.uni_hildesheim.sse.ivml.AttrAssignment> attrAssignments, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force)	Resolves the given assignments in attrAssignments.
private void	ModelTranslator.resolveDeclarations(java.util.List<de.uni_hildesheim.sse.ivml.VariableDeclaration> varDecls, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force)	Resolves the given declarations in varDecl.
private boolean	ModelTranslator.variableDeclarationsResolvable(java.util.List<de.uni_hildesheim.sse.ivml.VariableDeclaration> varDecls, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force)	Returns whether the declarations in varDecl can be resolved in the given context and the given parent container.

Constructors in de.uni_hildesheim.sse.translation with parameters of type TypeContext

Constructor	Description
ResultEntry(de.uni_hildesheim.sse.ivml.Project eProject, net.ssehub.easy.varModel.model.Project project, TypeContext context, Utils.SplitResult splitResult)	Creates the result entry.
TypeContext(TypeContext context)	Creates a local type context.