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 and Description
private TypeContext	ResultEntry.context

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

Modifier and Type	Method and 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 and Description
private boolean	ModelTranslator.attributeAssignmentsResolvable(java.util.List<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. whether there are comments or not.
(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, 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, ExpressionAccess access, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Process an access expression.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processAdditiveExpression(AdditiveExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Process an additive expression and turn it into a feature call.
protected net.ssehub.easy.varModel.model.Attribute	ModelTranslator.processAnnotation(AnnotateTo annotation, java.lang.String name, TypeContext context, net.ssehub.easy.varModel.model.Attribute initial) Processes the annotation of name.
protected void	ModelTranslator.processAnnotation(AnnotateTo annotation, TypeContext context) Processes an annotation.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processArgument(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, 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(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(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<AttrAssignment> assignments, TypeContext context) Processes all the expressions of attribute assignments.
private void	ModelTranslator.processAttributeAssignments(java.util.List<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<Call> calls, 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(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<ExpressionListEntry> entryList) Processes a compound initializer.
static net.ssehub.easy.varModel.model.ProjectImport	ImportTranslator.processConflict(ConflictStmt conflictStmt, ExpressionTranslator translator, TypeContext context) Processes a conflict statement including import restrictions.
protected void	ModelTranslator.processConflict(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, org.eclipse.emf.ecore.EObject expr, ContainerInitializer initializer, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Processes a container initializer.
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<ExpressionListEntry> entryList) Processes a container initializer.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, 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 net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, ContainerOp op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Processes a container operation.
private void	ExpressionTranslator.processDeclaration(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, ContainerOp op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, Declaration declaration, java.util.List<net.ssehub.easy.varModel.model.DecisionVariableDeclaration> declarators) Processes a valid declaration.
private void	ModelTranslator.processDefinitions(java.util.List<Typedef> typedefs, java.util.List<VariableDeclaration> vardecls, java.util.List<AttrAssignment> assignments, TypeContext context, boolean force) Resolve dependencies among type definitions and resolve types in proper sequence.
private void	ModelTranslator.processEnum(TypedefEnum tenum, TypeContext context) Processes an enum definition.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processEqualityExpression(EqualityExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Process a equality expression and turn it into a feature call.
private ModelTranslator.EvalBlockResult	ModelTranslator.processEval(Eval eval, net.ssehub.easy.varModel.model.IModelElement parent, TypeContext context) Process an eval block.
protected void	ModelTranslator.processEval(Eval eval, TypeContext context, net.ssehub.easy.varModel.model.datatypes.Compound compound) Processes an evaluation block.
net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processExpression(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, 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, OptBlockExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Processes an (optional block) expression.
private void	ModelTranslator.processExpressions(java.util.List<Typedef> typedefs, java.util.List<AttrAssignment> assignments, java.util.List<ExpressionStatement> exprs, TypeContext context) Processes all expressions at once and delegates to further processing methods.
void	ModelTranslator.processExpressionStatement(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, 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, ActualArgumentList call, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, boolean checkOclCompliance) Processes a feature call.
protected void	ModelTranslator.processFreeze(Freeze freeze, TypeContext context) Processes a freeze block.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processImplicationExpression(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(ImportStmt importStmt, ExpressionTranslator translator, TypeContext context) Processes an import statement including import restrictions.
protected void	ModelTranslator.processImport(ImportStmt importStmt, TypeContext context) Processes an import statement including import restrictions.
protected void	ModelTranslator.processInterface(InterfaceDeclaration eIface, TypeContext context) Processes an interface.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processLiteralContainer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, 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(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(TypedefMapping tmapping, TypeContext context, boolean force) Processes a typdef (type mapping).
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processMultiplicativeExpression(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(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(OpDefStatement op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Processes an operation definition implementation.
private void	ModelTranslator.processOpDefs(java.util.List<OpDefStatement> opDefs, TypeContext context) Resolve dependencies among operation definitions in proper sequence.
private void	ModelTranslator.processOpDefs(java.util.List<OpDefStatement> opDefs, TypeContext context, boolean force) Resolves operation definitions.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processPostfixExpression(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(PrimaryExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Process a primary expression.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processRelationalExpression(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, 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<Typedef> typedefs, TypeContext context) Processes all the expressions of type definitions.
private void	ModelTranslator.processTypedefs(java.util.List<Typedef> compounds, TypeContext context, boolean force) Resolves compound type definitions.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	ExpressionTranslator.processUnaryExpression(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(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<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<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<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<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 and 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.