fmrisc.ProgramExplorer.Semantics

Class VariableTypes

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Semantics.VariableTypes

All Implemented Interfaces:

ASTVisitor

public class VariableTypes
extends ASTVisitorBase

Set logical types of all variables declared in program.

Method Summary

Methods

Modifier and Type	Method and Description
static void	process(AST tree, TypeTranslator trans) Set the logical types of all variable symbols.
void	visit(DeclCallStatement decl)
void	visit(GlobalVariableDeclaration decl)
void	visit(VariableDeclarationBase decl)

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Method Detail

process

public static void process(AST tree,
           TypeTranslator trans)

Set the logical types of all variable symbols.

Parameters:

tree - a program tree.

trans - a type translator.

visit

public void visit(DeclCallStatement decl)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(GlobalVariableDeclaration decl)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(VariableDeclarationBase decl)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase