fmrisc.ProgramExplorer.Syntax.Logic

Class TypedIdentifier

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTBase

fmrisc.ProgramExplorer.Syntax.Logic.ASTLogicBase

fmrisc.ProgramExplorer.Syntax.Logic.TypedIdentifier

All Implemented Interfaces:

AST, ASTSource, Declaration, ValueDeclaration

public final class TypedIdentifier
extends ASTLogicBase
implements ValueDeclaration

An identifier with a type.

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(ASTVisitor visitor) Accept visitor for a visit.
void	accept(ASTVisitorOld visitor) Accept visitor for a visit.
void	acceptChildren(ASTVisitor visitor) Accept visitor for a visit to the children of this node.
static TypedIdentifier	construct(Identifier name, Type type) Construct an identifier with a type.
Identifier	getName() Get identifier.
SourcePosition	getPosition() Get the position of this node in the source code (may be null).
Type	getType() Get type.
void	setPosition(SourcePosition position) Set the position of this node in the source code.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTBase

accept, accept, print, printCore, toString, toStringCore

Methods inherited from class java.lang.Object

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

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

print, printCore, toString, toStringCore

Method Detail

construct

public static TypedIdentifier construct(Identifier name,
                        Type type)

Construct an identifier with a type.

Parameters:

name - the identifier.

type - its type.

Returns:

the parameter.

getName

public Identifier getName()

Get identifier.

Specified by:

getName in interface Declaration

Returns:

the identifier.

getType

public Type getType()

Get type.

Specified by:

getType in interface ValueDeclaration

Returns:

the type.

setPosition

public void setPosition(SourcePosition position)

Set the position of this node in the source code.

Specified by:

setPosition in interface ASTSource

Parameters:

position - the source code position.

getPosition

public SourcePosition getPosition()

Get the position of this node in the source code (may be null).

Specified by:

getPosition in interface ASTSource

Returns:

the source code position.

accept

public void accept(ASTVisitorOld visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class ASTLogicBase

Parameters:

visitor - the visitor who is accepted by this node.

accept

public void accept(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class ASTLogicBase

Parameters:

visitor - the visitor who is accepted by this node.

acceptChildren

public void acceptChildren(ASTVisitor visitor)

Accept visitor for a visit to the children of this node.

Specified by:

acceptChildren in interface AST

Overrides:

acceptChildren in class ASTBase

Parameters:

visitor - the visitor who is accepted by the children of this node.