net.ssehub.easy.reasoning.sseReasoner

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 net.ssehub.easy.varModel.model.AnnotationVisitor

Implements a compound annotation mapper. Call initialize(ConstraintSyntaxTree, Variable) first, then AnnotationVisitor.visitAnnotations(net.ssehub.easy.varModel.model.IAttributeAccess) and finally clear().

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	cAcc
private net.ssehub.easy.varModel.cst.Variable	declVar

Constructor Summary

Constructors

Modifier	Constructor and Description
private	CompoundAnnotationMapper()

Method Summary

Modifier and Type	Method and Description
protected void	clear() Clears the mapper.
protected void	initialize(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc, net.ssehub.easy.varModel.cst.Variable declVar) Initializes the mapper.
protected void	processAttribute(net.ssehub.easy.varModel.model.Attribute attr)
protected void	processAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assng)

Methods inherited from class net.ssehub.easy.varModel.model.AnnotationVisitor

addToScope, visitAnnotations

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

cAcc

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc

declVar

private net.ssehub.easy.varModel.cst.Variable declVar

Constructor Detail

CompoundAnnotationMapper

private CompoundAnnotationMapper()

Method Detail

initialize

protected void initialize(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc,
                          net.ssehub.easy.varModel.cst.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(net.ssehub.easy.varModel.model.AttributeAssignment assng)
                                   throws net.ssehub.easy.varModel.model.IvmlException

Specified by:

processAttributeAssignment in class net.ssehub.easy.varModel.model.AnnotationVisitor

Throws:

net.ssehub.easy.varModel.model.IvmlException

processAttribute

protected void processAttribute(net.ssehub.easy.varModel.model.Attribute attr)
                         throws net.ssehub.easy.varModel.model.IvmlException

Specified by:

processAttribute in class net.ssehub.easy.varModel.model.AnnotationVisitor

Throws:

net.ssehub.easy.varModel.model.IvmlException