fmrisc.ProgramExplorer.Syntax.Logic

Class True

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTBase

fmrisc.ProgramExplorer.Syntax.Logic.ASTLogicBase

fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase

fmrisc.ProgramExplorer.Syntax.Logic.Constant

fmrisc.ProgramExplorer.Syntax.Logic.BooleanLiteral

fmrisc.ProgramExplorer.Syntax.Logic.True

All Implemented Interfaces:

AST, ASTSource, ASTLogic, Expression, Formula, Term

public final class True
extends BooleanLiteral

A literal denoting the boolean value "true".

Method Summary

Modifier and Type	Method and Description
void	accept(ASTVisitor visitor) Accept visitor for a visit.
static True	construct() Construct literal.
java.lang.String	getName() Get name of constant.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.Logic.Constant

accept, getType, setType

Methods inherited from class fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase

getPosition, getPrecedence, isLeftAssociative, isRightAssociative, setPosition

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTBase

accept, accept, acceptChildren, 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.Logic.Expression

getPrecedence, isLeftAssociative, isRightAssociative

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

accept, acceptChildren, print, printCore, toString, toStringCore

Method Detail

construct

public static True construct()

Construct literal.

Returns:

the new literal.

getName

public java.lang.String getName()

Get name of constant.

Overrides:

getName in class Constant

Returns:

the name.

accept

public void accept(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class BooleanLiteral

Parameters:

visitor - the visitor who is accepted by this node.