public class StandardPredicate extends Predicate
Modifier | Constructor and Description |
---|---|
protected |
StandardPredicate(String name,
ConstantType[] types) |
Modifier and Type | Method and Description |
---|---|
static StandardPredicate |
get(String name)
The an existing standard predicate (or null if none with this name exists).
|
static StandardPredicate |
get(String name,
ConstantType... types)
Get a predicate if one already exists, othereise create a new one.
|
boolean |
isBlock() |
void |
setBlock(boolean isBlock) |
protected static void |
validateTypes(Predicate predicate,
ConstantType[] types) |
clearForTesting, getArgumentType, getArity, getName, toString
protected StandardPredicate(String name, ConstantType[] types)
public void setBlock(boolean isBlock)
public boolean isBlock()
public static StandardPredicate get(String name)
public static StandardPredicate get(String name, ConstantType... types)
protected static void validateTypes(Predicate predicate, ConstantType[] types)
Copyright © 2020 University of California, Santa Cruz. All rights reserved.