Package net.ssehub.easy.varModel.model.datatypes

Class VoidType

java.lang.Object

net.ssehub.easy.varModel.model.datatypes.BasisDatatype

net.ssehub.easy.varModel.model.datatypes.VoidType

All Implemented Interfaces:

IDatatype, IDatatypeVisitable

public class VoidType
extends BasisDatatype

The AnyType is the "Object" of OCL, a type to which all types are compatible. We need this type to specify generic operations (return values)

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final DelegatingType	DTYPE
static final IDatatype	TYPE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	VoidType()	Constructor for a new VoidType.

Method Summary

Modifier and Type	Method	Description
void	accept(IDatatypeVisitor visitor)	Accepts a specialized visitor for creating a textual representation of the identity of this type.
boolean	isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.

Methods inherited from class net.ssehub.easy.varModel.model.datatypes.BasisDatatype

getGenericType, getGenericTypeCount, getName, getNameSpace, getOperation, getOperationCount, getQualifiedName, getType, getTypeClass, getUniqueName, isPrimitive, isPseudoType

Methods inherited from class java.lang.Object

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

Field Details

DTYPE

static final DelegatingType DTYPE

TYPE

public static final IDatatype TYPE

Constructor Details

VoidType

private VoidType()

Constructor for a new VoidType.

Method Details

isAssignableFrom

public boolean isAssignableFrom(IDatatype type)

Description copied from class: BasisDatatype

Determines if the data type represented by this object is either the same as, or is a supertype of type.

Specified by:

isAssignableFrom in interface IDatatype

Overrides:

isAssignableFrom in class BasisDatatype

Parameters:

type - the type being checked

Returns:

true if this type is either the same or a supertype of type, true else

accept

public void accept(IDatatypeVisitor visitor)

Description copied from interface: IDatatypeVisitable

Accepts a specialized visitor for creating a textual representation of the identity of this type.

Specified by:

accept in interface IDatatypeVisitable

Specified by:

accept in class BasisDatatype

Parameters:

visitor - the visitor to accept