JSim.plan

Class Tool

java.lang.Object

JSim.plan.Tool

All Implemented Interfaces:

SeqItem

Direct Known Subclasses:

DETool, DomainTool, ExprTool, ExternTool, ImplicitTool, ProcTool, QueryTool, ReuseTool, StateTool

public abstract class Tool
extends java.lang.Object
implements SeqItem

Field Summary

Fields

Modifier and Type	Field and Description
static int	CURR
static int	DELAY
java.util.ArrayList<TEqn>	eqns
static int	EXPR
java.util.LinkedHashSet<Tool>	icTools
static int	MAX
static int	MIN
TModel	model
static int	QUERY
DomainSet	seqLoops
VarUsages	vreqs
VarUsages	vsols
static int	XEXPR

Constructor Summary

Constructors

Constructor and Description
Tool(TModel model)

Method Summary

Modifier and Type	Method and Description
java.lang.String	lineNoMessage()
void	log(java.lang.String msg)
Logger	logger()
java.lang.String	nodeString()
DomainSet	seqLoops()
JSim.mml.Domain	t()
abstract java.lang.String	toolType()
VarUsages	vreqs()

Methods inherited from class java.lang.Object

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

Field Detail

model

public TModel model

vsols

public VarUsages vsols

vreqs

public VarUsages vreqs

seqLoops

public DomainSet seqLoops

eqns

public java.util.ArrayList<TEqn> eqns

icTools

public java.util.LinkedHashSet<Tool> icTools

QUERY

public static final int QUERY

See Also:

Constant Field Values

CURR

public static final int CURR

See Also:

Constant Field Values

MIN

public static final int MIN

See Also:

Constant Field Values

MAX

public static final int MAX

See Also:

Constant Field Values

XEXPR

public static final int XEXPR

See Also:

Constant Field Values

DELAY

public static final int DELAY

See Also:

Constant Field Values

EXPR

public static final int EXPR

See Also:

Constant Field Values

Constructor Detail

Tool

public Tool(TModel model)
     throws Xcept

Throws:

Xcept

Method Detail

logger

public Logger logger()

log

public void log(java.lang.String msg)

t

public JSim.mml.Domain t()

Specified by:

t in interface SeqItem

seqLoops

public DomainSet seqLoops()

Specified by:

seqLoops in interface SeqItem

vreqs

public VarUsages vreqs()

Specified by:

vreqs in interface SeqItem

nodeString

public java.lang.String nodeString()

Specified by:

nodeString in interface SeqItem

toolType

public abstract java.lang.String toolType()

lineNoMessage

public java.lang.String lineNoMessage()