fmrisc.ProgramExplorer.Semantics

Class MethodSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.GlobalSymbolBase

fmrisc.ProgramExplorer.Semantics.ParamSymbol

fmrisc.ProgramExplorer.Semantics.MethodSymbol

All Implemented Interfaces:

GlobalSymbol, Symbol

Direct Known Subclasses:

ClassMethodSymbol, ObjectMethodSymbol

public abstract class MethodSymbol
extends ParamSymbol
implements GlobalSymbol

A symbol denoting a method.

Method Summary

Methods

Modifier and Type	Method and Description
Type	getLogicReturnType() Get logic return type of the method.
TypeExpression	getReturnType() Get return type of the method.

Methods inherited from class fmrisc.ProgramExplorer.Semantics.ParamSymbol

getArgumentTypes, getBodyJudgement, getCall, getClassSymbol, getDeclaration, getLoops, getObligations, getOptional, getParameterArray, getParams, getPreconditions, getPreMap, getRecursion, getSatisfies, getSpecification, getTCCs, reset, setBodyJudgement, setCall, setPreMap, setRecursion, setSatisfies, setSpecification

Methods inherited from class fmrisc.ProgramExplorer.Semantics.GlobalSymbolBase

getLongName

Methods inherited from class fmrisc.ProgramExplorer.Semantics.SymbolBase

getName

Methods inherited from class java.lang.Object

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

Methods inherited from interface fmrisc.ProgramExplorer.Semantics.GlobalSymbol

getLongName

Methods inherited from interface fmrisc.ProgramExplorer.Semantics.Symbol

getDeclaration, getName, print

Method Detail

getReturnType

public TypeExpression getReturnType()

Get return type of the method.

Returns:

the return type.

getLogicReturnType

public Type getLogicReturnType()

Get logic return type of the method.

Returns:

the logic return type (null for void).