Package net.ssehub.easy.varModel.cstEvaluation

Class EvaluationVisitor.CompoundSlotInit

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.CompoundSlotInit

Enclosing class:

EvaluationVisitor

private static class EvaluationVisitor.CompoundSlotInit
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private ConstraintSyntaxTree	expr
private String	message
private String	slotName

Constructor Summary

Constructors

Modifier	Constructor	Description
private	CompoundSlotInit()

Method Summary

Modifier and Type	Method	Description
private void	setCannotEvaluateMessage(Compound type)

Methods inherited from class java.lang.Object

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

Field Details

slotName

private String slotName

expr

private ConstraintSyntaxTree expr

message

private String message

Constructor Details

CompoundSlotInit

private CompoundSlotInit()

Method Details

setCannotEvaluateMessage

private void setCannotEvaluateMessage(Compound type)