edu.mit.csail.sdg.squander.spec.Visitor< N, M > Class Reference
[Specification]

List of all members.

Public Member Functions
final N	visit (M env, Tree tree)
Static Public Member Functions
static int	parseInt (Tree tree)
Protected Member Functions
void	validate (Node node, N result)
N	visitFieldDeclaration (M env, Node ident, int op, Node set, Node frame, Node constraint)
N	visitFrame (M env, List< N > joins, List< Node > fields, List< N > selectors, List< N > lowers, List< N > uppers)
N	visitBinary (M env, Node tree, int op, Node leftTree, Node rightTree)
N	visitUnary (M env, Node tree, int op, Node expr)
N	visitQuantification (M env, int op, List< String > names, List< String > mults, List< Node > sets, Node expr)
N	visitConditional (M env, Node condTree, Node leftTree, Node rightTree)
N	visitOld (M env, Node sub)
N	visitName (M env, Node tree)
N	visitAmbiguous (M env, List< Node > idents)
N	visitCastExpression (M env, Node type, Node sub)
N	visitFieldRelation (M env, Node type, Node ident)
N	visitBracket (M env, N primary, Node selector)
N	visitJoin (M env, N primary, Node selector)
N	visitJoinReflexive (M env, N primary, Node selector)
N	visitMethodCall (M env, N receiver, String id, Node arguments)
N	visitThis (M env)
N	visitSuper (M env)
N	visitReturn (M env)
N	visitThrow (M env)
N	visitDecimal (M env, int i)
N	visitString (M env, String s)
N	visitTrue (M env)
N	visitFalse (M env)
N	visitNull (M env)
N	visitArgument (M env, int i)
N	visitIntegralType (M env)
N	visitBooleanType (M env)
N	visitArrayType (M env, Node base)
N	visitRefType (M env, Node source, List< Node > idents)
List< Node >	children (Tree node)
Node	child (Node parent)
String	asText (Tree node)
Private Member Functions
final N	visitChain (M env, List< Node > children)
Node	cast (Tree tree)

Detailed Description

Abstract visitor of unparsed specification expressions.

Author:: kuat

Parameters:

	<N>	type of the output value
	<M>	type of the input value, presumably a context of evaluation

Definition at line 67 of file Visitor.java.

Member Function Documentation

String edu.mit.csail.sdg.squander.spec.Visitor< N, M >.asText ( Tree node ) [protected]

Returns the text content of a token node

Definition at line 410 of file Visitor.java.

Node edu.mit.csail.sdg.squander.spec.Visitor< N, M >.cast ( Tree tree ) [private]

Performs casting

Definition at line 398 of file Visitor.java.

Node edu.mit.csail.sdg.squander.spec.Visitor< N, M >.child ( Node parent ) [protected]

Get a single child

Definition at line 405 of file Visitor.java.

List<Node> edu.mit.csail.sdg.squander.spec.Visitor< N, M >.children ( Tree node ) [protected]

Definition at line 389 of file Visitor.java.

static int edu.mit.csail.sdg.squander.spec.Visitor< N, M >.parseInt ( Tree tree ) [static]

Assumes the content is a decimal expression text

Definition at line 417 of file Visitor.java.

void edu.mit.csail.sdg.squander.spec.Visitor< N, M >.validate	(	Node	node,
		N	result
	)			`[protected]`

Validate the result of a visit

Definition at line 314 of file Visitor.java.

final N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visit	(	M	env,
		Tree	tree
	)

Invoking a visitor method based on the type of the tree nodes.

Top-level expression

Composite expression

Simple expressions

Definition at line 73 of file Visitor.java.

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

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitAmbiguous	(	M	env,
		List< Node >	idents
	)			`[protected]`

Definition at line 339 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitArgument	(	M	env,
		int	i
	)			`[protected]`

Definition at line 375 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitArrayType	(	M	env,
		Node	base
	)			`[protected]`

Definition at line 383 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitBinary	(	M	env,
		Node	tree,
		int	op,
		Node	leftTree,
		Node	rightTree
	)			`[protected]`

Definition at line 327 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitBooleanType ( M env ) [protected]

Definition at line 381 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitBracket	(	M	env,
		N	primary,
		Node	selector
	)			`[protected]`

Definition at line 347 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitCastExpression	(	M	env,
		Node	type,
		Node	sub
	)			`[protected]`

Definition at line 341 of file Visitor.java.

final N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitChain	(	M	env,
		List< Node >	children
	)			`[private]`

Process chain expression in EBNF

Definition at line 284 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitConditional	(	M	env,
		Node	condTree,
		Node	leftTree,
		Node	rightTree
	)			`[protected]`

Definition at line 333 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitDecimal	(	M	env,
		int	i
	)			`[protected]`

Definition at line 365 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitFalse ( M env ) [protected]

Definition at line 371 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitFieldDeclaration	(	M	env,
		Node	ident,
		int	op,
		Node	set,
		Node	frame,
		Node	constraint
	)			`[protected]`

Definition at line 321 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitFieldRelation	(	M	env,
		Node	type,
		Node	ident
	)			`[protected]`

Definition at line 343 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitFrame	(	M	env,
		List< N >	joins,
		List< Node >	fields,
		List< N >	selectors,
		List< N >	lowers,
		List< N >	uppers
	)			`[protected]`

Definition at line 323 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitIntegralType ( M env ) [protected]

Definition at line 379 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitJoin	(	M	env,
		N	primary,
		Node	selector
	)			`[protected]`

Definition at line 349 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitJoinReflexive	(	M	env,
		N	primary,
		Node	selector
	)			`[protected]`

Definition at line 351 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitMethodCall	(	M	env,
		N	receiver,
		String	id,
		Node	arguments
	)			`[protected]`

Definition at line 353 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitName	(	M	env,
		Node	tree
	)			`[protected]`

Definition at line 337 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitNull ( M env ) [protected]

Definition at line 373 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitOld	(	M	env,
		Node	sub
	)			`[protected]`

Definition at line 335 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitQuantification	(	M	env,
		int	op,
		List< String >	names,
		List< String >	mults,
		List< Node >	sets,
		Node	expr
	)			`[protected]`

Definition at line 331 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitRefType	(	M	env,
		Node	source,
		List< Node >	idents
	)			`[protected]`

Definition at line 385 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitReturn ( M env ) [protected]

Definition at line 361 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitString	(	M	env,
		String	s
	)			`[protected]`

Definition at line 367 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitSuper ( M env ) [protected]

Definition at line 359 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitThis ( M env ) [protected]

Definition at line 357 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitThrow ( M env ) [protected]

Definition at line 363 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitTrue ( M env ) [protected]

Definition at line 369 of file Visitor.java.

N edu.mit.csail.sdg.squander.spec.Visitor< N, M >.visitUnary	(	M	env,
		Node	tree,
		int	op,
		Node	expr
	)			`[protected]`

Definition at line 329 of file Visitor.java.

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

src/edu/mit/csail/sdg/squander/spec/Visitor.java

edu.mit.csail.sdg.squander.spec.Visitor< N, M > Class Reference [Specification]

Public Member Functions

Static Public Member Functions

Protected Member Functions

Private Member Functions

Detailed Description

Member Function Documentation

edu.mit.csail.sdg.squander.spec.Visitor< N, M > Class Reference
[Specification]