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.