edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N > Class Reference

List of all members.

Public Member Functions
final N	visit (Tree tree)
Protected Member Functions
Node	cast (Tree tree)
Node	child (Node parent)
String	trimQuotes (String s)
String	asText (Tree node)
abstract N	visitSpecFile (String modifiers, String name, List< String > paramTypes, List< N > children)
abstract N	visitSpecField (Node source)
abstract N	visitFuncField (Node n)
abstract N	visitInvariant (Node source)
List< String >	visitParams (Node paramsNode)

---

Detailed Description

Definition at line 18 of file SpecFileVisitor.java.

---

Member Function Documentation

String edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.asText

(

Tree

node

)

[protected]

Returns the text content of a token node

Definition at line 37 of file SpecFileVisitor.java.

Node edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.cast

(

Tree

tree

)

[protected]

Casts a Tree to a Node

Definition at line 21 of file SpecFileVisitor.java.

Node edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.child

(

Node

parent

)

[protected]

Gets a single child

Definition at line 28 of file SpecFileVisitor.java.

String edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.trimQuotes

(

String

s

)

[protected]

Definition at line 32 of file SpecFileVisitor.java.

final N edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.visit

(

Tree

tree

)

Definition at line 45 of file SpecFileVisitor.java.

References edu.mit.csail.sdg.squander.specfile.parser.SpecFileParserException.setToken(), and edu.mit.csail.sdg.squander.specfile.parser.SpecFileParserException.token.

abstract N edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.visitFuncField

(

Node

n

)

[protected, pure virtual]

abstract N edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.visitInvariant

(

Node

source

)

[protected, pure virtual]

List<String> edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.visitParams

(

Node

paramsNode

)

[protected]

Definition at line 94 of file SpecFileVisitor.java.

abstract N edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.visitSpecField

(

Node

source

)

[protected, pure virtual]

abstract N edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >.visitSpecFile	(	String	modifiers,
		String	name,
		List< String >	paramTypes,
		List< N >	children
	)			[protected, pure virtual]

---

The documentation for this class was generated from the following file:

• spec/edu/mit/csail/sdg/squander/specfile/parser/SpecFileVisitor.java