public class ClassId extends ClassExpression implements Id
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
id
Holds the identifier.
|
(package private) java.net.URI |
uri |
variable
Constructor and Description |
---|
ClassId()
Creates an anonymous class pattern
|
ClassId(java.lang.String id) |
ClassId(java.net.URI u) |
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
boolean |
equals(java.lang.Object obj) |
java.net.URI |
getURI()
Returns a plain representation of the value of this id.
|
int |
hashCode() |
java.lang.String |
plainText()
Returns a plain representation of the value of this id.
|
java.lang.String |
toString() |
getVariable, setVariable
public ClassId()
public ClassId(java.lang.String id) throws AlignmentException
AlignmentException
public ClassId(java.net.URI u)
public void accept(EDOALVisitor visitor) throws AlignmentException
accept
in class Expression
AlignmentException
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor) throws AlignmentException
accept
in class Expression
AlignmentException
public java.net.URI getURI()
Id
public java.lang.String plainText()
Id
public java.lang.String toString()
toString
in class java.lang.Object
classId: http://my/super/class
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
(C) INRIA & friends, 2003-2020