|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmima.domain.Node
public abstract class Node
INV: getFrame() != null
INV: getSubNodesCount() >= 0
INV: getSubNodes() != null
INV: _nodeObservers != null
Nested Class Summary | |
---|---|
static class |
Node.Frame
Enumeration for Node Frame |
Field Summary | |
---|---|
private Node.Frame |
_frame
|
private boolean |
_isExpanded
|
private java.lang.String |
_link
|
private java.util.Collection |
_nodeObservers
This field is part of the Observer Pattern. |
private java.lang.String |
_note
|
private java.lang.String |
_title
|
Constructor Summary | |
---|---|
protected |
Node(java.lang.String title,
Node.Frame frame)
PRE: frame ! |
Method Summary | |
---|---|
protected void |
add(SubNode subNode)
PRE: subNode ! |
private void |
checkNotNull(Node.Frame frame)
|
private void |
checkNotNull(NodeObserver observer)
|
protected void |
checkNotNull(SubNode subNode)
|
void |
deregisterObserver(NodeObserver observer)
PRE: observer ! |
protected abstract void |
doAdd(SubNode subNode)
|
protected abstract void |
doRemove(SubNode subNode)
|
void |
expand()
POST: isExpanded() == true |
void |
expandAll()
POST: isExpanded() == true |
private void |
fireNodeChanged()
This method is part of the Observer Pattern. |
Node.Frame |
getFrame()
|
java.lang.String |
getLink()
|
java.lang.String |
getNote()
|
abstract java.util.Collection |
getSubNodes()
POST: Return value ! |
int |
getSubNodesCount()
POST: Return value >= 0 |
java.lang.String |
getTitle()
|
boolean |
hasLink()
|
boolean |
hasNote()
|
boolean |
hasSubNode(SubNode subNode)
PRE: subNode ! |
boolean |
hasSubNodes()
|
protected void |
invariant()
|
boolean |
isExpanded()
|
boolean |
isRegisteredObserver(NodeObserver observer)
PRE: observer ! |
protected abstract boolean |
isRight(SubNode subNode)
|
void |
registerObserver(NodeObserver observer)
PRE: observer ! |
protected void |
remove(SubNode subNode)
PRE: subNode ! |
void |
setFrame(Node.Frame frame)
PRE: frame ! |
void |
setLink(java.lang.String link)
POST: getLink() == link |
void |
setNote(java.lang.String note)
POST: getNote() == note |
void |
setTitle(java.lang.String title)
POST: getTitle() == title |
void |
toggleExpansion()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private Node.Frame _frame
private boolean _isExpanded
private java.lang.String _link
private java.util.Collection _nodeObservers
private java.lang.String _note
private java.lang.String _title
Constructor Detail |
---|
protected Node(java.lang.String title, Node.Frame frame)
frame != null
this.isExpanded() == true
this.getFrame() == frame
this.getTitle() == title
this.getLink() == null
this.getNote() == null
java.lang.IllegalArgumentException
- if frame == null
Method Detail |
---|
protected void add(SubNode subNode)
subNode != null
hasSubNodes() == true
hasSubNode(subNode) == true
getSubNodesCount() > 0
java.lang.IllegalArgumentException
- if subNode == null
private void checkNotNull(Node.Frame frame)
private void checkNotNull(NodeObserver observer)
protected void checkNotNull(SubNode subNode)
public void deregisterObserver(NodeObserver observer)
observer != null
this.isRegisteredObserver(observer) == false
This method is part of the Observer Pattern.
java.lang.IllegalArgumentException
- if observer == null
protected abstract void doAdd(SubNode subNode)
protected abstract void doRemove(SubNode subNode)
public void expand()
isExpanded() == true
public void expandAll()
isExpanded() == true
private void fireNodeChanged()
public Node.Frame getFrame()
public java.lang.String getLink()
public java.lang.String getNote()
public abstract java.util.Collection getSubNodes()
public int getSubNodesCount()
public java.lang.String getTitle()
public boolean hasLink()
public boolean hasNote()
public boolean hasSubNode(SubNode subNode)
subNode != null
java.lang.IllegalArgumentException
- if subNode == null
public boolean hasSubNodes()
protected void invariant()
public boolean isExpanded()
public boolean isRegisteredObserver(NodeObserver observer)
observer != null
java.lang.IllegalArgumentException
- if observer == null
protected abstract boolean isRight(SubNode subNode)
public void registerObserver(NodeObserver observer)
observer != null
isRegisteredObserver(observer) == true
This method is part of the Observer Pattern.
java.lang.IllegalArgumentException
- if observer == null
protected void remove(SubNode subNode)
subNode != null
hasSubNode(subNode) == false
getSubNodesCount()
returns one less before method was
invoked
java.lang.IllegalArgumentException
- if subNode == null
public void setFrame(Node.Frame frame)
frame != null
getFrame() == frame
java.lang.IllegalArgumentException
- if frame == null
public void setLink(java.lang.String link)
getLink() == link
public void setNote(java.lang.String note)
getNote() == note
public void setTitle(java.lang.String title)
getTitle() == title
public void toggleExpansion()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |