public static class InferenceDeclaration.Clause extends Object
Modifier and Type | Field and Description |
---|---|
ASTNode |
argument
The argument of the clause.
|
static int |
HEAD_FINDER
Value of the
type variable. |
static int |
NORMALIZER_DECLARATION
Value of the
type variable. |
static int |
SUBJECTTO
Value of the
type variable. |
int |
type
The type of the clause.
|
static String[] |
typeNames
String representations of the type names.
|
static int |
WITH
Value of the
type variable. |
Constructor and Description |
---|
Clause(int t,
ASTNode a)
Full constructor.
|
Modifier and Type | Method and Description |
---|---|
Object |
clone()
Creates a new object with the same primitive data, and recursively creates new member
data objects as well.
|
String |
toString()
Debugging utility method.
|
public static final int HEAD_FINDER
type
variable.public static final int SUBJECTTO
type
variable.public static final int WITH
type
variable.public static final int NORMALIZER_DECLARATION
type
variable.public static final String[] typeNames
public int type
public ASTNode argument
public Clause(int t, ASTNode a)
t
- The type.a
- The argument node.public Object clone()
Copyright © 2016. All rights reserved.