Class Resolver.CompoundAnnotationMapper
- java.lang.Object
-
- net.ssehub.easy.varModel.model.AnnotationVisitor
-
- net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper
-
- Enclosing class:
- Resolver
private class Resolver.CompoundAnnotationMapper extends AnnotationVisitor
Implements a compound annotation mapper. Callinitialize(ConstraintSyntaxTree, Variable)first, thenAnnotationVisitor.visitAnnotations(net.ssehub.easy.varModel.model.IAttributeAccess)and finallyclear().- Author:
- Holger Eichelberger
-
-
Field Summary
Fields Modifier and Type Field Description private ConstraintSyntaxTreecAccprivate VariabledeclVar
-
Constructor Summary
Constructors Modifier Constructor Description privateCompoundAnnotationMapper()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voidclear()Clears the mapper.protected voidinitialize(ConstraintSyntaxTree cAcc, Variable declVar)Initializes the mapper.protected voidprocessAttribute(Attribute attr)Processes an attribute.protected voidprocessAttributeAssignment(AttributeAssignment assng)Processes an attribute assignment.-
Methods inherited from class net.ssehub.easy.varModel.model.AnnotationVisitor
addToScope, visitAnnotations
-
-
-
-
Field Detail
-
cAcc
private ConstraintSyntaxTree cAcc
-
declVar
private Variable declVar
-
-
Method Detail
-
initialize
protected void initialize(ConstraintSyntaxTree cAcc, Variable declVar)
Initializes the mapper.- Parameters:
cAcc- the accessor expression (may be null)declVar- the compound variable as expression
-
clear
protected void clear()
Clears the mapper.
-
processAttributeAssignment
protected void processAttributeAssignment(AttributeAssignment assng) throws IvmlException
Description copied from class:AnnotationVisitorProcesses an attribute assignment.- Specified by:
processAttributeAssignmentin classAnnotationVisitor- Parameters:
assng- the assignment to be processed- Throws:
IvmlException- in case of processing problems
-
processAttribute
protected void processAttribute(Attribute attr) throws IvmlException
Description copied from class:AnnotationVisitorProcesses an attribute.- Specified by:
processAttributein classAnnotationVisitor- Parameters:
attr- the attribute to process- Throws:
IvmlException- in case of processing problems
-
-