C# Class at.jku.ssw.Coco.Action

Show file Open project: boogie-org/boogie-partners

Public Properties

Property	Type	Description
next	Action
sym	int
target	Target
tc	int
typ	int

Public Methods

Method	Description
Action ( int typ, int sym, int tc ) : System
AddTarget ( Target t ) : void
AddTargets ( Action a ) : void
ShiftWith ( CharSet s, Tab tab ) : void
Symbols ( Tab tab ) : CharSet

Method Details

Action() public method

public Action ( int typ, int sym, int tc ) : System
typ	int
sym	int
tc	int
return	System

AddTarget() public method

public AddTarget ( Target t ) : void
t	Target
return	void

AddTargets() public method

public AddTargets ( Action a ) : void
a	Action
return	void

ShiftWith() public method

public ShiftWith ( CharSet s, Tab tab ) : void
s	CharSet
tab	Tab
return	void

Symbols() public method

public Symbols ( Tab tab ) : CharSet
tab	Tab
return	CharSet

Property Details

next public property

public Action next
return	Action

sym public property

public int sym
return	int

target public property

public Target,at.jku.ssw.Coco target
return	Target

tc public property

public int tc
return	int

typ public property

public int typ
return	int