public interface Declaration extends Rule<Term<?>>, PrettyOutput, Comparable<Declaration>
| Modifier and Type | Interface and Description |
|---|---|
static class |
Declaration.Source
The declaration source information.
|
| Modifier and Type | Method and Description |
|---|---|
String |
getProperty() |
Declaration.Source |
getSource() |
boolean |
isImportant() |
void |
setImportant(boolean important) |
void |
setProperty(String property) |
void |
setSource(Declaration.Source src) |
asList, replaceAll, unlockadd, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArraytoStringcompareToboolean isImportant()
void setImportant(boolean important)
String getProperty()
void setProperty(String property)
Declaration.Source getSource()
void setSource(Declaration.Source src)
Copyright © 2014. All rights reserved.