Package | Description |
---|---|
net.sourceforge.czt.base.impl |
Abstract base classes for the AST for Z.
|
net.sourceforge.czt.base.visitor |
Base visitors for the AST for Z.
|
Modifier and Type | Class and Description |
---|---|
class |
ListTermImpl<E>
A list implementation that integrates nicely into the AST.
|
Modifier and Type | Method and Description |
---|---|
R |
ListTermVisitor.visitListTerm(ListTerm<?> zedObject)
Visits a list term.
|
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.