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(Compound, ConstraintSyntaxTree, Variable, IDatatype) 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
private net.ssehub.easy.varModel.model.datatypes.IDatatype	target
private net.ssehub.easy.varModel.model.datatypes.Compound	type

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.model.datatypes.Compound type, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc, net.ssehub.easy.varModel.cst.Variable declVar, net.ssehub.easy.varModel.model.datatypes.IDatatype target) 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

type

private net.ssehub.easy.varModel.model.datatypes.Compound type

declVar

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

target

private net.ssehub.easy.varModel.model.datatypes.IDatatype target

Constructor Detail

CompoundAnnotationMapper

private CompoundAnnotationMapper()

Method Detail

initialize

protected void initialize(net.ssehub.easy.varModel.model.datatypes.Compound type,
                          net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc,
                          net.ssehub.easy.varModel.cst.Variable declVar,
                          net.ssehub.easy.varModel.model.datatypes.IDatatype target)

Initializes the mapper.

Parameters:

type - the compound type

cAcc - the accessor expression (may be null)

declVar - the compound variable as expression

target - the specific target type to cast to (may be null or type for no cast)

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