Module Simula

Package simula.compiler.syntaxClass.declaration

Class ProcedureSpecification

java.lang.Object

simula.compiler.syntaxClass.declaration.ProcedureSpecification

All Implemented Interfaces:

Externalizable, Serializable

public final class ProcedureSpecification
extends Object
implements Externalizable

Procedure Specification.

 Simula Standard: 5.5.3 Virtual quantities
 Simula Standard: 6.3 External procedure declaration
 
 procedure-specification
     = [ type ] PROCEDURE procedure-identifier procedure-head empty-body
     
    procedure-head
        = [ formal-parameter-part ; [ mode-part ] specification-part  ] ;
         
    empty-body = dummy-statement
 
    procedure-identifier = identifier
 
       formal-parameter-part = "(" formal-parameter { , formal-parameter } ")"
       
          formal-parameter = identifier
          
       specification-part = specifier identifier-list ; { specifier identifier-list ; }
       
          specifier
             = type [ array | procedure ]
             | label
             | switch
             
       mode-part 
          = name-part [ value-part ]
          | value-part [ name-part ]
          
          name-part = name identifier-list ;
          value-part = value identifier-list ;
          
             identifier-list = identifier { , identifier }
 

Link to GitHub: Source File.

Author:

SIMULA Standards Group, Øystein Myhre Andersen

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private String	identifier	The procedure identifier.
Vector<Parameter>	parameterList	The parameter list.
Type	type	The procedure's type.

Constructor Summary

Constructors

Modifier	Constructor	Description
	ProcedureSpecification()	Default constructor used by Externalization.
private	ProcedureSpecification(String identifier, Type type, Vector<Parameter> pList)	Create a new ProcedureSpecification

Method Summary

Modifier and Type	Method	Description
(package private) void	doChecking(DeclarationScope scope)	Perform semantic checking.
(package private) static ProcedureSpecification	expectProcedureSpecification(Type type)	Procedure Specification.
void	readExternal(ObjectInput inpt)
String	toString()
void	writeExternal(ObjectOutput oupt)

Methods inherited from class java.lang.Object

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

Field Details

identifier

private String identifier

The procedure identifier.

type

public Type type

The procedure's type.

parameterList

public Vector<Parameter> parameterList

The parameter list.

Constructor Details

ProcedureSpecification

private ProcedureSpecification(String identifier,
 Type type,
 Vector<Parameter> pList)

Create a new ProcedureSpecification

Parameters:

identifier - procedure-identifier

type - procedure's type or null

pList - the parameter lList

ProcedureSpecification

public ProcedureSpecification()

Default constructor used by Externalization.

Method Details

expectProcedureSpecification

static ProcedureSpecification expectProcedureSpecification(Type type)

Procedure Specification.

 Syntax:
 
 procedure-specification
     = [ type ] PROCEDURE procedure-identifier procedure-head empty-body
     
    procedure-head
        = [ formal-parameter-part ; [ mode-part ] procedure-specification-part  ] ;
         
    empty-body = dummy-statement
 
    procedure-identifier = identifier
 
 

Precondition: [ type ] PROCEDURE is already read.

Parameters:

type - procedure's type

Returns:

a newly created ProcedureSpecification

doChecking

void doChecking(DeclarationScope scope)

Perform semantic checking.

Parameters:

scope - the DeclarationScope

toString

public String toString()

Overrides:

toString in class Object

writeExternal

public void writeExternal(ObjectOutput oupt)
                   throws IOException

Specified by:

writeExternal in interface Externalizable

Throws:

IOException

readExternal

public void readExternal(ObjectInput inpt)
                  throws IOException,
ClassNotFoundException

Specified by:

readExternal in interface Externalizable

Throws:

IOException

ClassNotFoundException