|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectptolemy.codegen.rtmaude.kernel.util.ListTerm<T>
public class ListTerm<T>
Generate a list RTMaude term (AU or ACU) for a data structure with an Iterator.
red (kquine) |
red (kquine) |
Field Summary | |
---|---|
protected java.lang.String |
delimiter
The delimiter for the list term representation, e.g., ",". |
protected java.lang.String |
empty
The term for the empty list. |
protected java.util.Iterator<T> |
iter
The contents of the given list. |
Constructor Summary | |
---|---|
ListTerm(java.lang.String empty,
java.lang.String delimiter,
java.lang.Iterable<T> target)
Constructs a ListTerm object. |
Method Summary | |
---|---|
java.lang.String |
generateCode()
Generates the term representation of the list using an empty term, a delimiter, and an item member function. |
java.lang.String |
item(T v)
Returns the term representation of the given element v. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.lang.String delimiter
protected java.lang.String empty
protected java.util.Iterator<T> iter
Constructor Detail |
---|
public ListTerm(java.lang.String empty, java.lang.String delimiter, java.lang.Iterable<T> target)
empty
- An empty termdelimiter
- A delimiter for the given list termtarget
- An Iterable object which contains the elementsMethod Detail |
---|
public java.lang.String generateCode() throws IllegalActionException
IllegalActionException
public java.lang.String item(T v) throws IllegalActionException
v
- the element
IllegalActionException
- An overriding methods may generate this exception.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |