org.jmlspecs.racwrap.runner
Class CommonImpl

java.lang.Object
  org.jmlspecs.racwrap.runner.CommonImpl

All Implemented Interfaces:

Node

Direct Known Subclasses:

BranchNode, Leaf

public abstract class CommonImpl

extends Object

implements Node

This component implements the common functionality required in both branch and leaf nodes. Like getting and setting to allow precondition (etc) checks, and getting and setting the name. Look at the javadocs for Node for more information.

Field Summary
private  boolean	checkable
private  boolean	checkInvariant
private  boolean	checkPostcondition
private  boolean	checkPrecondition
private  String	name
private  boolean	wrap

 

Constructor Summary

CommonImpl()

 

Method Summary
String	getName()           Every node has a name that corresponds to the file/directory od the class/package.
boolean	isCheckable()           use isCheckable to determine whether this Node represents a package or class can be checked or not.
boolean	isCheckInvariant()           When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the invariants first.
boolean	isCheckPostcondition()           When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the postconditions after.
boolean	isCheckPrecondition()           When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the preconditions first.
boolean	isWrap()           When an instance of a class is loaded, isWrap() is used to determine whether to wrap the component or not.
void	setCheckable(boolean b)
void	setCheckInvariant(boolean b, boolean propagate)
void	setCheckPostcondition(boolean b, boolean propagate)
void	setCheckPrecondition(boolean b, boolean propagate)
void	setName(String name)
void	setWrap(boolean b, boolean propagate)
String	toString()

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Methods inherited from interface org.jmlspecs.racwrap.runner.Node

addChild, getChild, getChildren, getKeys, isEmpty, prune, removeChild

 

Field Detail

checkable

private boolean checkable

wrap

private boolean wrap

checkPrecondition

private boolean checkPrecondition

checkPostcondition

private boolean checkPostcondition

checkInvariant

private boolean checkInvariant

name

private String name

CommonImpl

public CommonImpl()

isCheckable

public boolean isCheckable()

Description copied from interface: Node

use isCheckable to determine whether this Node represents a package or class can be checked or not.

Specified by:

isCheckable in interface Node

isWrap

public boolean isWrap()

Description copied from interface: Node

When an instance of a class is loaded, isWrap() is used to determine whether to wrap the component or not.

Specified by:

isWrap in interface Node

isCheckPrecondition

public boolean isCheckPrecondition()

Description copied from interface: Node

When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the preconditions first.

Specified by:

isCheckPrecondition in interface Node

isCheckPostcondition

public boolean isCheckPostcondition()

Description copied from interface: Node

When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the postconditions after.

Specified by:

isCheckPostcondition in interface Node

isCheckInvariant

public boolean isCheckInvariant()

Description copied from interface: Node

When a wrapper calls a method on the wrapped object, this method is used to determine whether to check the invariants first.

Specified by:

isCheckInvariant in interface Node

setCheckable

public void setCheckable(boolean b)

setWrap

public void setWrap(boolean b,
                    boolean propagate)

Specified by:

setWrap in interface Node

Parameters:

propagate - if set to true will also set the children.

setCheckPrecondition

public void setCheckPrecondition(boolean b,
                                 boolean propagate)

Specified by:

setCheckPrecondition in interface Node

Parameters:

propagate - if set to true will also set the children.

setCheckPostcondition

public void setCheckPostcondition(boolean b,
                                  boolean propagate)

Specified by:

setCheckPostcondition in interface Node

Parameters:

propagate - if set to true will also set the children.

setCheckInvariant

public void setCheckInvariant(boolean b,
                              boolean propagate)

Specified by:

setCheckInvariant in interface Node

Parameters:

propagate - if set to true will also set the children.

setName

public void setName(String name)

Specified by:

setName in interface Node

getName

public String getName()

Description copied from interface: Node

Every node has a name that corresponds to the file/directory od the class/package.

Specified by:

getName in interface Node

toString

public String toString()

Overrides:

toString in class Object