fmrisc.ProgramExplorer.Syntax.Program

Class NamedType

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTBase

fmrisc.ProgramExplorer.Syntax.Program.ASTProgramBase

fmrisc.ProgramExplorer.Syntax.Program.NamedType

All Implemented Interfaces:

AST, ASTProgram, TypeExpression

public final class NamedType
extends ASTProgramBase
implements TypeExpression

A named (user-defined) type

Field Summary

Fields

Modifier and Type	Field and Description
Name	name

Method Summary

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 NamedType	construct(Name name) Construct a named type.
ClassSymbol	getSymbol() Get symbol of class denoted by name.

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

Field Detail

name

public final Name name

Method Detail

construct

public static NamedType construct(Name name)

Construct a named type.

Parameters:

name - the name of the type

Returns:

the type.

accept

public void accept(ASTVisitorOld visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class ASTProgramBase

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 ASTProgramBase

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.

getSymbol

public ClassSymbol getSymbol()

Get symbol of class denoted by name.

Returns:

the class symbol.