Package eu.simuline.relana.expressions

Class FormulaDecl.Var

java.lang.Object

eu.simuline.relana.expressions.FormulaDecl

eu.simuline.relana.expressions.FormulaDecl.Var

Enclosing class:

FormulaDecl

static final class FormulaDecl.Var
extends FormulaDecl

Represents atomic formulae consisting of a variable only.

Nested Class Summary

Nested classes/interfaces inherited from class eu.simuline.relana.expressions.FormulaDecl

FormulaDecl.Comp, FormulaDecl.Const, FormulaDecl.Var

Field Summary

Fields

Modifier and Type	Field	Description
private CClass.SClassDecl	decl
private List<String>	path

Constructor Summary

Constructors

Constructor	Description
Var(CClass.SClassDecl decl, List<String> path)

Method Summary

Modifier and Type	Method	Description
Formula	resolve(CInstance cInst)
Type	retType()
String	toString()

Methods inherited from class eu.simuline.relana.expressions.FormulaDecl

equals, getComp, getConst, getVar, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

decl

private final CClass.SClassDecl decl

path

private final List<String> path

Constructor Detail

Var

Var(CClass.SClassDecl decl,
    List<String> path)

Method Detail

retType

public Type retType()

Specified by:

retType in class FormulaDecl

resolve

public Formula resolve(CInstance cInst)

Specified by:

resolve in class FormulaDecl

toString

public String toString()

Overrides:

toString in class Object