Package 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 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	Description
private ConstraintSyntaxTree	cAcc
private Variable	declVar

Constructor Summary

Constructors

Modifier	Constructor	Description
private	CompoundAnnotationMapper()

Method Summary

Modifier and Type	Method	Description
protected void	clear()	Clears the mapper.
protected void	initialize(ConstraintSyntaxTree cAcc, Variable declVar)	Initializes the mapper.
protected void	processAttribute(Attribute attr)	Processes an attribute.
protected void	processAttributeAssignment(AttributeAssignment assng)	Processes an attribute assignment.

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 ConstraintSyntaxTree cAcc

declVar

private Variable declVar

Constructor Detail

CompoundAnnotationMapper

private CompoundAnnotationMapper()

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: AnnotationVisitor

Processes an attribute assignment.

Specified by:

processAttributeAssignment in class AnnotationVisitor

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: AnnotationVisitor

Processes an attribute.

Specified by:

processAttribute in class AnnotationVisitor

Parameters:

attr - the attribute to process

Throws:

IvmlException - in case of processing problems