A function parameter viewed as a name, data-type, and storage address. More...

#include <fspec.hh>

Inheritance diagram for ProtoParameter:

Public Member Functions
	ProtoParameter (void)
	Constructor.

virtual	~ProtoParameter (void)
	Destructor.

virtual const string &	getName (void) const =0
	Get the name of the parameter ("" for return value)

virtual Datatype *	getType (void) const =0
	Get the data-type associate with this.

virtual Address	getAddress (void) const =0
	Get the storage address for this parameter.

virtual int4	getSize (void) const =0
	Get the number of bytes occupied by this parameter.

virtual bool	isTypeLocked (void) const =0
	Is the parameter data-type locked.

virtual bool	isNameLocked (void) const =0
	Is the parameter name locked.

virtual bool	isSizeTypeLocked (void) const =0
	Is the size of the parameter locked.

virtual bool	isIndirectStorage (void) const =0
	Is this really a pointer to the true parameter.

virtual bool	isHiddenReturn (void) const =0
	Is this a pointer to storage for a return value.

virtual bool	isNameUndefined (void) const =0
	Is the name of this parameter undefined.

virtual void	setTypeLock (bool val)=0
	Toggle the lock on the data-type.

virtual void	setNameLock (bool val)=0
	Toggle the lock on the name.

virtual void	overrideSizeLockType (Datatype *ct)=0
	Change (override) the data-type of a size-locked parameter. More...

virtual void	resetSizeLockType (TypeFactory *factory)=0
	Clear this parameter's data-type preserving any size-lock. More...

virtual ProtoParameter *	clone (void) const =0
	Clone the parameter.

virtual Symbol *	getSymbol (void) const =0
	Retrieve the formal Symbol associated with this parameter. More...

bool	operator== (const ProtoParameter &op2) const
	Compare storage location and data-type for equality. More...

bool	operator!= (const ProtoParameter &op2) const
	Compare storage location and data-type for inequality. More...

Detailed Description

A function parameter viewed as a name, data-type, and storage address.

This is the base class, with derived classes determining what is backing up the information, whether is it a formal Symbol or just internal storage. Both input parameters and return values can be represented with this object.

Member Function Documentation

◆ getSymbol()

virtual Symbol* ProtoParameter::getSymbol ( void ) const

pure virtual

Retrieve the formal Symbol associated with this parameter.

If there is no backing symbol an exception is thrown

Returns: the backing Symbol object

Implemented in ParameterSymbol, and ParameterBasic.

Referenced by PrintC::emitPrototypeInputs().

◆ operator!=()

bool ProtoParameter::operator!= ( const ProtoParameter & op2 ) const

inline

Compare storage location and data-type for inequality.

Parameters

op2	is the parameter to compare with this

Returns: true if the parameters do not share a data-type and storage location

◆ operator==()

bool ProtoParameter::operator== ( const ProtoParameter & op2 ) const

inline

Compare storage location and data-type for equality.

Parameters

op2	is the parameter to compare with this

Returns: true if the parameters share a data-type and storage location

References getAddress(), and getType().

◆ overrideSizeLockType()

virtual void ProtoParameter::overrideSizeLockType ( Datatype * ct )

pure virtual

Change (override) the data-type of a size-locked parameter.

The original parameter must have a type-lock and TYPE_UNKNOWN data-type. The size-lock is preserved and this can be cleared back to its TYPE_UNKNOWN state.

Parameters