Package | Description |
---|---|
org.clafer.ast |
This package provides the language for building Clafer AST.
|
Modifier and Type | Method and Description |
---|---|
static AstGlobal |
Asts.global(AstClafer type) |
Modifier and Type | Method and Description |
---|---|
B |
AstExprVisitor.visit(AstGlobal ast,
A a) |
AstExpr |
AstExprRewriter.visit(AstGlobal ast,
T a) |
Copyright © 2013. All Rights Reserved.