|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use EndOfScope | |
| org.xmloperator.lambda.tree.model | |
| org.xmloperator.lambda.tree.util | |
| Uses of EndOfScope in org.xmloperator.lambda.tree.model |
| Methods in org.xmloperator.lambda.tree.model that return EndOfScope | |
EndOfScope |
TermFactory.createEndOfScope()
Creates a new EndOfScope, with no parent and no body. |
| Uses of EndOfScope in org.xmloperator.lambda.tree.util |
| Methods in org.xmloperator.lambda.tree.util that return EndOfScope | |
static EndOfScope |
FactoryUtils.newEndOfScope(Term body)
Creates and returns a new EndOfScope. |
| Methods in org.xmloperator.lambda.tree.util with parameters of type EndOfScope | |
static void |
AlphaUtils.extrude(EndOfScope endOfScope)
Extrudes an EndOfScope completely. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||