Class StandardProcedure

java.lang.Object

simula.compiler.syntaxClass.SyntaxClass

simula.compiler.syntaxClass.declaration.Declaration

simula.compiler.syntaxClass.declaration.DeclarationScope

simula.compiler.syntaxClass.declaration.BlockDeclaration

simula.compiler.syntaxClass.declaration.ProcedureDeclaration

simula.compiler.syntaxClass.declaration.StandardProcedure

public final class StandardProcedure
extends ProcedureDeclaration

Standard Procedure.

Link to GitHub: Source File.

Author:

Øystein Myhre Andersen

Field Summary

Fields

Modifier and Type	Field	Description
private String	mtdPicked	The mtd picked by 'getLegalOverLoadMatch'
private String[]	mtdSet	Set of method type descriptors.
private ProcedureSpecification	overLoadMatch	The overload match

Fields inherited from class ProcedureDeclaration

myVirtual, parameterList, result

Fields inherited from class BlockDeclaration

currentBlock, isContextFree, isMainModule, labelcodeList, labelContext, labelContextStack, lastLineNumber, nLocalVariables, prevBlock, statements

Fields inherited from class DeclarationScope

CLASSFILE_ALREADY_GENERATED, declarationList, hasLocalClasses, isPreCompiledFromFile, labelList, sourceBlockLevel, sourceFileName

Fields inherited from class Declaration

declarationKind, declaredIn, externalIdent, identifier, isProtected, type

Fields inherited from class SyntaxClass

CHECKED, lineNumber, OBJECT_SEQU

Constructor Summary

Constructors

Constructor	Description
StandardProcedure(DeclarationScope declaredIn, int kind, String[] mtdSet, Type type, String ident, Parameter... param)	Create a new StandardProcedure with parameters.
StandardProcedure(DeclarationScope declaredIn, int kind, Type type, String ident)	Create a new StandardProcedure without parameters.
StandardProcedure(DeclarationScope declaredIn, int kind, Type type, String ident, Parameter... param)	Create a new StandardProcedure with parameters.

Method Summary

Modifier and Type	Method	Description
void	doChecking()	Perform semantic checking.
private String	edMethodTypeDesc(Expression beforeDot, Vector<Expression> params)	Edit MethodTypeDesc
private ProcedureSpecification	getLegalOverLoadMatch(String mtd, Vector<Expression> params)	Get LegalOverLoadMatch.
MethodTypeDesc	getMethodTypeDesc(Expression beforeDot, Vector<Expression> params)	Get MethodTypeDesc
ProcedureSpecification	getOverLoadMatch(Vector<Expression> params)	Get OverLoadMatch.
ProcedureSpecification	getProcedureSpecification(String mtd)	Return the getProcedureSpecification obtained from the given MethodTypeDesc.
String	toString()

Methods inherited from class ProcedureDeclaration

build_STM_BODY, buildClassFile, buildDeclaration, buildInitAttribute, codeProcedureBody, doJavaCoding, edConstructorSignature, expectProcedureDeclaration, findVisibleAttributeMeaning, getResultFieldRefEntry, print, printTree, readObject, writeObject

Methods inherited from class BlockDeclaration

addLeadingLabel, allocateLocalVariable, build_TRY_CATCH, buildIsMethodDetachUsed, buildIsQPSystemBlock, buildMethod_STM, buildMethodMain, codeMethodMain, codeStatements, codeSTMBody, currentClassDesc, expectFormalParameterPart, getConstructorMethodTypeDesc, hasAccumLabel, hasDeclaredLabel, isBlockWithLocalClasses, isQPSystemBlock, nearestEnclosingBlock, printStatementList

Methods inherited from class DeclarationScope

buildAndLoadOrAddClassFile, buildCTX, buildCTX, buildCTX2, createJavaClassFile, doBuildClassFile, edCTX, edCTX, edJavaClassName, edScope, edScopeChain, findLabelMeaning, findMeaning, findProcedure, getBytesFromFile, getClassDesc, getRTBlockLevel, loadOrAddClassFile, modifyIdentifier, prefixLevel, prep, printDeclarationList, printStaticChain, scopeID

Methods inherited from class Declaration

acceptDeclaration, buildDeclarationCode, checkAlreadyDefined, getFieldIdentifier, getJavaIdentifier, isCompatibleClasses, verifyTree

Methods inherited from class SyntaxClass

ASSERT_SEMANTICS_CHECKED, buildByteCode, doDeclarationCoding, edIndent, edTreeIndent, IS_SEMANTICS_CHECKED, SET_SEMANTICS_CHECKED, setLineNumber, toJavaCode

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

mtdSet

private String[] mtdSet

Set of method type descriptors.

overLoadMatch

private ProcedureSpecification overLoadMatch

The overload match

mtdPicked

private String mtdPicked

The mtd picked by 'getLegalOverLoadMatch'

Constructor Details

StandardProcedure

StandardProcedure(DeclarationScope declaredIn,
 int kind,
 Type type,
 String ident)

Create a new StandardProcedure without parameters.

Parameters:

declaredIn - the enclosing scope

kind - the declaration kind

type - the procedure's type

ident - the procedure identifier

StandardProcedure

StandardProcedure(DeclarationScope declaredIn,
 int kind,
 Type type,
 String ident,
 Parameter... param)

Create a new StandardProcedure with parameters.

Parameters:

declaredIn - the enclosing scope

kind - the declaration kind

type - the procuedre's type

ident - the procedure identifier

param - the parameters

StandardProcedure

StandardProcedure(DeclarationScope declaredIn,
 int kind,
 String[] mtdSet,
 Type type,
 String ident,
 Parameter... param)

Create a new StandardProcedure with parameters.

Parameters:

declaredIn - the enclosing scope

kind - the declaration kind

mtdSet - the set of Method Type Descriptors

type - the procuedre's type

ident - the procedure identifier

param - the parameters

Method Details

doChecking

public void doChecking()

Description copied from class: SyntaxClass

Perform semantic checking.

This must be redefined in every subclass.

Overrides:

doChecking in class ProcedureDeclaration

getOverLoadMatch

public ProcedureSpecification getOverLoadMatch(Vector<Expression> params)

Get OverLoadMatch.

Parameters:

params - the actual parameters

Returns:

OverLoadMatch

getLegalOverLoadMatch

private ProcedureSpecification getLegalOverLoadMatch(String mtd,
 Vector<Expression> params)

Get LegalOverLoadMatch.

Parameters:

mtd - a method type descriptor

params - the actual parameters.

Returns:

a legal OverLoadMatch or null.

getProcedureSpecification

public ProcedureSpecification getProcedureSpecification(String mtd)

Return the getProcedureSpecification obtained from the given MethodTypeDesc.

Parameters:

mtd - the MethodTypeDesc

Returns:

the getProcedureSpecification obtained from the given MethodTypeDesc.

getMethodTypeDesc

public MethodTypeDesc getMethodTypeDesc(Expression beforeDot,
 Vector<Expression> params)

Get MethodTypeDesc

Parameters:

beforeDot - the Expression beforeDot

params - the actual parameters

Returns:

MethodTypeDesc

edMethodTypeDesc

private String edMethodTypeDesc(Expression beforeDot,
 Vector<Expression> params)

Edit MethodTypeDesc

Parameters:

beforeDot - the Expression beforeDot

params - the actual parameters

Returns:

MethodTypeDesc String

toString

public String toString()

Overrides:

toString in class ProcedureDeclaration