Package jline.lang
Class Element
-
-
Method Summary
-
-
Constructor Detail
-
Element
Element(String name)
Creates a new element with the specified name.- Parameters:
name
- the name to assign to this element
-
-
-
-