public class Datatype
extends java.lang.Object
Id to represent a datatype
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
type
Holds the type
|
Constructor and Description |
---|
Datatype(java.lang.String type)
Constructs an object with the given type.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
boolean |
equals(java.lang.Object o) |
java.lang.String |
getType() |
int |
hashCode() |
java.lang.String |
toString()
Returns a short description about this object.
|
public Datatype(java.lang.String type)
type
- the type for this object.java.lang.NullPointerException
- if the type is null
java.lang.IllegalArgumentException
- if the type isn't longer than 0public void accept(EDOALVisitor visitor) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor) throws AlignmentException
AlignmentException
public java.lang.String getType()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
Returns a short description about this object. The format of the returned string is undocumentd and subject to change.
An example return string could be: 15
toString
in class java.lang.Object
(C) INRIA & friends, 2003-2020