Package com.tonic.analysis.source.ast.expr

Class VarRefExpr

java.lang.Object

com.tonic.analysis.source.ast.expr.VarRefExpr

All Implemented Interfaces:

ASTNode, Expression

public final class VarRefExpr
extends Object
implements Expression

Represents a local variable reference.

Constructor Summary

Constructors

Constructor	Description
VarRefExpr(String name, SourceType type)	Creates a variable reference with no backing IR value and an unknown source position.
VarRefExpr(String name, SourceType type, SSAValue ssaValue)	Creates a variable reference with an unknown source position.
VarRefExpr(String name, SourceType type, SSAValue ssaValue, SourceLocation location)	Creates a variable reference.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(SourceVisitor<T> visitor)	Accepts a visitor for this node.
SourceLocation	getLocation()	Gets the source location of this node.
String	getName()
ASTNode	getParent()	Gets the parent node in the AST tree.
SSAValue	getSsaValue()
SourceType	getType()	Gets the inferred type of this expression.
boolean	hasSSAValue()
void	setName(String name)	Renames the referenced variable.
void	setParent(ASTNode parent)	Sets the enclosing node.
String	toString()
VarRefExpr	withName(String name)	Renames the referenced variable in place, for chaining.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.tonic.analysis.source.ast.ASTNode

deepClone, findAll, findAll, findAncestor, findFirst, findFirst, getChildren, getRoot, isDescendantOf, remove, replaceWith, stream, stream, walk

Constructor Detail

VarRefExpr

public VarRefExpr(String name,
                  SourceType type,
                  SSAValue ssaValue,
                  SourceLocation location)

Creates a variable reference.

Parameters:

name - the variable name

type - the variable's declared type

ssaValue - the IR value this reference maps back to, may be null

location - source position, null for unknown

Throws:

NullPointerException - if the name or type is null

VarRefExpr

public VarRefExpr(String name,
                  SourceType type,
                  SSAValue ssaValue)

Creates a variable reference with an unknown source position.

Parameters:

name - the variable name

type - the variable's declared type

ssaValue - the IR value this reference maps back to, may be null

Throws:

NullPointerException - if the name or type is null

VarRefExpr

public VarRefExpr(String name,
                  SourceType type)

Creates a variable reference with no backing IR value and an unknown source position.

Parameters:

name - the variable name

type - the variable's declared type

Throws:

NullPointerException - if the name or type is null

Method Detail

getName

public String getName()

Returns:

the name

setName

public void setName(String name)

Renames the referenced variable.

Parameters:

name - the new name

getType

public SourceType getType()

Description copied from interface: Expression

Gets the inferred type of this expression.

Specified by:

getType in interface Expression

Returns:

the type

getSsaValue

public SSAValue getSsaValue()

Returns:

the ssa value

getLocation

public SourceLocation getLocation()

Description copied from interface: ASTNode

Gets the source location of this node.

Specified by:

getLocation in interface ASTNode

Returns:

the location

getParent

public ASTNode getParent()

Description copied from interface: ASTNode

Gets the parent node in the AST tree.

Specified by:

getParent in interface ASTNode

Returns:

the parent

setParent

public void setParent(ASTNode parent)

Sets the enclosing node.

Specified by:

setParent in interface ASTNode

Parameters:

parent - the new parent, may be null

withName

public VarRefExpr withName(String name)

Renames the referenced variable in place, for chaining.

Parameters:

name - the new name

Returns:

this reference

hasSSAValue

public boolean hasSSAValue()

Returns:

true when this reference carries a backing IR value

accept

public <T> T accept(SourceVisitor<T> visitor)

Description copied from interface: ASTNode

Accepts a visitor for this node.

Specified by:

accept in interface ASTNode

Type Parameters:

T - the return type of the visitor

Parameters:

visitor - the visitor to accept

Returns:

the result from the visitor

toString

public String toString()

Overrides:

toString in class Object