Encapsulates the expression to access a field. More...

Inheritance diagram for AST.FieldAccessExpression:

Public Member Functions
	FieldAccessExpression (Expression exp, SingleIdentifierExpression fieldName, Location location)
	Constructor of FieldAccessExpression More...

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

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.Expression
Expression	CloneInit ()
	Clones the initialization of the current object. 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	Expression `[get, set]`
	Gets the expression to access a field. More...

SingleIdentifierExpression	FieldName `[get]`
	Gets the name to the field. More...

bool	TypeInferredInVisitorTypeDefinition `[get, set]`
	To know if the visitor type definition has already inferred a type More...

TypeExpression	FrozenTypeExpression `[get, set]`
	WriteType variable may change its type's substitution (e.g., field type variables) This attribute saves the type in an specific time (frozen). If this type's substitution changes, the frozen type does not. More...

Properties inherited from AST.Expression
TypeExpression	ExpressionType `[get, set]`
	Gets or sets the type of the expression. More...

bool	Lvalue `[get, set]`
	Gets or sets the lvalue. More...

bool	LeftExpression `[get, set]`
	Gets or sets true if the expression is allocated in the left part of an assignment, false otherwise. More...

virtual TypeExpression	ILTypeExpression `[get]`
	Gets the type expression to use in code generation. More...

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

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

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.Expression
TypeExpression	frozenTypeExpression
	WriteType variable may change its type's substitution (e.g., field type variables) This attribute saves the type in an specific time (frozen). If this type's substitution changes, the frozen type does not. More...

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

Detailed Description

Encapsulates the expression to access a field.

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

Definition at line 37 of file FieldAccessExpression.cs.

Constructor & Destructor Documentation

AST.FieldAccessExpression.FieldAccessExpression	(	Expression	exp,
		SingleIdentifierExpression	fieldName,
		Location	location
	)

Constructor of FieldAccessExpression

Parameters

exp	Expression to access a field.
fieldName	Field name.
fileName	File name.
lineNumber	Line number.
columnNumber	Column number.

Definition at line 107 of file FieldAccessExpression.cs.

Member Function Documentation

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

virtual

Accept method of a concrete visitor.

Parameters

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

Returns: Optional information to return

Implements AST.AstNode.

Definition at line 124 of file FieldAccessExpression.cs.

override object AST.FieldAccessExpression.AcceptOperation	(	AstOperation	op,
		object	arg
	)

virtual

Dispatches expressions to the operation passed as argument. It provokes the execution of op.AcceptOperation(AstNode) with the parameter resolved polymorfically

Parameters

op	AstOperation to dispatch

Returns

Reimplemented from AST.Expression.

Definition at line 139 of file FieldAccessExpression.cs.

Property Documentation

Expression AST.FieldAccessExpression.Expression

getset

Gets the expression to access a field.

Definition at line 65 of file FieldAccessExpression.cs.

SingleIdentifierExpression AST.FieldAccessExpression.FieldName

get

Gets the name to the field.

Definition at line 74 of file FieldAccessExpression.cs.

TypeExpression AST.FieldAccessExpression.FrozenTypeExpression

getset

WriteType variable may change its type's substitution (e.g., field type variables) This attribute saves the type in an specific time (frozen). If this type's substitution changes, the frozen type does not.

Definition at line 91 of file FieldAccessExpression.cs.

bool AST.FieldAccessExpression.TypeInferredInVisitorTypeDefinition

getset

To know if the visitor type definition has already inferred a type

Definition at line 81 of file FieldAccessExpression.cs.

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

C:/Users/ortin/Desktop/stadyn/Inference/src/AST/FieldAccessExpression.cs

Public Member Functions

Properties

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Property Documentation