Package | Description |
---|---|
org.clafer.ast |
This package provides the language for building Clafer AST.
|
Modifier and Type | Method and Description |
---|---|
AstSetTest.Op |
AstSetTest.getOp() |
static AstSetTest.Op |
AstSetTest.Op.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AstSetTest.Op[] |
AstSetTest.Op.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static AstBoolExpr |
Asts.test(AstSetExpr left,
AstSetTest.Op op,
AstSetExpr right) |
Copyright © 2013. All Rights Reserved.