This class visits the AST to assign symbol information to identifier expression. More...

Inheritance diagram for Semantic.VisitorSymbolIdentification:

Public Member Functions

VisitorSymbolIdentification (IDictionary< string, string > directories)

Constructor of VisitorSymbolIdentification

Parameters

directories A mapping between each sort file name and its full directory name

More...

override Object Visit (SourceFile node, Object obj)

override Object Visit (Namespace node, Object obj)

override Object Visit (ClassDefinition node, Object obj)

override Object Visit (IdDeclaration node, Object obj)

override Object Visit (Definition node, Object obj)

override Object Visit (ConstantDefinition node, Object obj)

override Object Visit (MethodDefinition node, Object obj)

override Object Visit (ConstructorDefinition node, Object obj)

override Object Visit (SingleIdentifierExpression node, Object obj)

override Object Visit (Block node, Object obj)

override Object Visit (DoStatement node, Object obj)

override Object Visit (ForStatement node, Object obj)

override Object Visit (IfElseStatement node, Object obj)

override Object Visit (WhileStatement node, Object obj)

override Object Visit (SwitchStatement node, Object obj)

Public Member Functions inherited from Tools.VisitorAdapter

override Object Visit (SourceFile node, Object obj)

override Object Visit (Namespace node, Object obj)

override Object Visit (DeclarationSet node, Object obj)

override Object Visit (FieldDeclarationSet node, Object obj)

override Object Visit (IdDeclaration node, Object obj)

override Object Visit (Definition node, Object obj)

override Object Visit (ConstantDefinition node, Object obj)

override Object Visit (PropertyDefinition node, Object obj)

override Object Visit (ClassDefinition node, Object obj)

override Object Visit (InterfaceDefinition node, Object obj)

override Object Visit (ConstructorDefinition node, Object obj)

override Object Visit (FieldDeclaration node, Object obj)

override Object Visit (FieldDefinition node, Object obj)

override Object Visit (ConstantFieldDefinition node, Object obj)

override Object Visit (MethodDeclaration node, Object obj)

override Object Visit (MethodDefinition node, Object obj)

override Object Visit (ArgumentExpression node, Object obj)

override Object Visit (ArithmeticExpression node, Object obj)

override Object Visit (ArrayAccessExpression node, Object obj)

override Object Visit (AssignmentExpression node, Object obj)

override Object Visit (BaseCallExpression node, Object obj)

override Object Visit (BaseExpression node, Object obj)

override Object Visit (BinaryExpression node, Object obj)

override Object Visit (BitwiseExpression node, Object obj)

override Object Visit (BoolLiteralExpression node, Object obj)

override Object Visit (CastExpression node, Object obj)

override Object Visit (CharLiteralExpression node, Object obj)

override Object Visit (CompoundExpression node, Object obj)

override Object Visit (DoubleLiteralExpression node, Object obj)

override Object Visit (FieldAccessExpression node, Object obj)

override Object Visit (IntLiteralExpression node, Object obj)

override Object Visit (InvocationExpression node, Object obj)

override Object Visit (IsExpression node, Object obj)

override Object Visit (LogicalExpression node, Object obj)

override Object Visit (NewArrayExpression node, Object obj)

override Object Visit (NewExpression node, Object obj)

override Object Visit (NullExpression node, Object obj)

override Object Visit (QualifiedIdentifierExpression node, Object obj)

override Object Visit (RelationalExpression node, Object obj)

override Object Visit (SingleIdentifierExpression node, Object obj)

override Object Visit (StringLiteralExpression node, Object obj)

override Object Visit (TernaryExpression node, Object obj)

override Object Visit (ThisExpression node, Object obj)

override Object Visit (UnaryExpression node, Object obj)

override Object Visit (AssertStatement node, Object obj)

override Object Visit (BreakStatement node, Object obj)

override Object Visit (CatchStatement node, Object obj)

override Object Visit (Block node, Object obj)

override Object Visit (ContinueStatement node, Object obj)

override Object Visit (DoStatement node, Object obj)

override Object Visit (ForeachStatement node, Object obj)

override Object Visit (ForStatement node, Object obj)

override Object Visit (IfElseStatement node, Object obj)

override Object Visit (ReturnStatement node, Object obj)

override Object Visit (SwitchLabel node, Object obj)

override Object Visit (SwitchSection node, Object obj)

override Object Visit (SwitchStatement node, Object obj)

override Object Visit (ThrowStatement node, Object obj)

override Object Visit (ExceptionManagementStatement node, Object obj)

override Object Visit (WhileStatement node, Object obj)

override Object Visit (MoveStatement node, Object obj)

override Object Visit (ThetaStatement node, Object obj)

Additional Inherited Members
Static Public Member Functions inherited from Tools.Visitor
static T	getInheritedAttributes< T > (Object attributes, int index)
	Generic helper function that takes the visitor parameter an converts it into the appropiate inherited attribute. More...

static T	getInheritedAttributes< T > (Object attributes)
	Overloaded version of the above method More...

Protected Attributes inherited from Tools.VisitorAdapter
string	currentFile
	Name of the current file. More...

Detailed Description

This class visits the AST to assign symbol information to identifier expression.

Inheritance: VisitorAdapter. Implements Visitor pattern [Concrete Visitor].

Definition at line 41 of file VisitorSymbolIdentification.cs.

Constructor & Destructor Documentation

Semantic.VisitorSymbolIdentification.VisitorSymbolIdentification ( IDictionary< string, string > directories )

Constructor of VisitorSymbolIdentification

Parameters

directories A mapping between each sort file name and its full directory name

Definition at line 108 of file VisitorSymbolIdentification.cs.

Member Function Documentation

override Object Semantic.VisitorSymbolIdentification.Visit	(	SourceFile	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 170 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	Namespace	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 202 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	ClassDefinition	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 225 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	IdDeclaration	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 256 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	Definition	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 266 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	ConstantDefinition	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 277 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	MethodDefinition	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 339 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	ConstructorDefinition	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 358 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	SingleIdentifierExpression	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 398 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	Block	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 505 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	DoStatement	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 536 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	ForStatement	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 557 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	IfElseStatement	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 590 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	WhileStatement	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 614 of file VisitorSymbolIdentification.cs.

override Object Semantic.VisitorSymbolIdentification.Visit	(	SwitchStatement	node,
		Object	obj
	)

virtual

Implements Tools.Visitor.

Definition at line 639 of file VisitorSymbolIdentification.cs.

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

C:/Users/ortin/Desktop/stadyn/Inference/src/Semantic/VisitorSymbolIdentification.cs

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation