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

Show file Open project: boogie-org/boogie-partners Class Usage Examples

Public Properties

Property	Type	Description
attrPos	Position
deletable	bool
first	System.Collections.BitArray
firstReady	bool
follow	System.Collections.BitArray
graph	Node
line	int
n	int
name	string
nts	System.Collections.BitArray
semPos	Position
tokenKind	int
typ	int

Public Methods

Method	Description
Symbol ( int typ, string name, int line ) : System

Method Details

Symbol() public method

public Symbol ( int typ, string name, int line ) : System
typ	int
name	string
line	int
return	System

Property Details

attrPos public property

public Position,at.jku.ssw.Coco attrPos
return	Position

deletable public property

public bool deletable
return	bool

first public property

public BitArray,System.Collections first
return	System.Collections.BitArray

firstReady public property

public bool firstReady
return	bool

follow public property

public BitArray,System.Collections follow
return	System.Collections.BitArray

graph public property

public Node,at.jku.ssw.Coco graph
return	Node

line public property

public int line
return	int

n public property

public int n
return	int

name public property

public string name
return	string

nts public property

public BitArray,System.Collections nts
return	System.Collections.BitArray

semPos public property

public Position,at.jku.ssw.Coco semPos
return	Position

tokenKind public property

public int tokenKind
return	int

typ public property

public int typ
return	int