Encapsulates a Assert statement of our programming languages. More...

Inheritance diagram for AST.AssertStatement:

Public Member Functions
	AssertStatement (Expression cond, Expression exp, Location location)
	Constructor of AssertStatement More...

override Object	Accept (Visitor v, Object o)
	Accept method of a concrete visitor. More...

Public Member Functions inherited from AST.Statement
override object	AcceptOperation (AstOperation op, object arg)
	Dispatches expressions to the operation passed as argument. It provokes the execution of op.AcceptOperation(AstNode) with the parameter resolved polymorfically More...

Public Member Functions inherited from AST.AstNode
override bool	Equals (object obj)
	AntLR compares Nodes with the class name. This is not correct for our purposes. More...

override int	GetHashCode ()

Properties
Expression	Condition `[get]`
	Gets the condition expression associated to the Assert statement. More...

Expression	Expression `[get]`
	Gets the optional expression associated to the Assert statement. More...

Properties inherited from AST.AstNode
Location	Location `[get]`

Additional Inherited Members
Protected Member Functions inherited from AST.Statement
	Statement (Location location)
	Protected constructor of Statement. More...

Protected Member Functions inherited from AST.AstNode
	AstNode (Location location)
	Protected constructor of NodeAst More...

Protected Attributes inherited from AST.AstNode
Location	location
	Location: Encapsulates in one object the line, column and filename More...

Detailed Description

Encapsulates a Assert statement of our programming languages.

Inheritance: Statement. Implements Composite pattern [Composite]. Implements Visitor pattern [Concrete Element].

Definition at line 34 of file AssertStatement.cs.

Constructor & Destructor Documentation

AST.AssertStatement.AssertStatement	(	Expression	cond,
		Expression	exp,
		Location	location
	)

Parameters

cond	Condition expression associated to the Assert statement.
exp	Optional expression associated to the Assert statement.
lineNumber	Line number.
columnNumber	Column number.

Definition at line 79 of file AssertStatement.cs.

override Object AST.AssertStatement.Accept	(	Visitor	v,
		Object	o
	)

virtual

Accept method of a concrete visitor.

Parameters

v	Concrete visitor
o	Optional information to use in the visit.

Implements AST.AstNode.

Definition at line 95 of file AssertStatement.cs.

Expression AST.AssertStatement.Condition

get

Gets the condition expression associated to the Assert statement.

Definition at line 56 of file AssertStatement.cs.

Expression AST.AssertStatement.Expression

get

Gets the optional expression associated to the Assert statement.

Definition at line 64 of file AssertStatement.cs.

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