vote
Class Constructor

java.lang.Object
  |
  +--vote.Ident
        |
        +--vote.Operation
              |
              +--vote.Function
                    |
                    +--vote.Constructor

public class Constructor

extends Function

This class represents a constructor identifier.

Author:

P. URSO

See Also:

Type, SortList

Field Summary

Fields inherited from class vote.Function

typeParams

Fields inherited from class vote.Operation

NOP, parameters

Constructor Summary

Constructor(String name, vote.Type type)
Constructor of the constructor.

Method Summary

vote.Instruction

getDefinition() Returns the definition of the constructor.

Methods inherited from class vote.Function

getParamsType, getType, setDefinition, toString

Methods inherited from class vote.Operation

defaultCall, getParameters, getPrecond

Methods inherited from class vote.Ident

getName

Methods inherited from class java.lang.Object

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

Constructor Detail

Constructor

public Constructor(String name,
                   vote.Type type)

Constructor of the constructor.

Parameters:

name - name of the constructor.

type - return type of the constructor.

Method Detail

getDefinition

public vote.Instruction getDefinition()

Returns the definition of the constructor.

Overrides:

getDefinition in class Function

Returns:

null (of course).