Class InfluencesModule 

java.lang.Object
   |
   +----FlowIteration
           |
           +----MarkModule
                   |
                   +----InfluencesModule
class InfluencesModule
extends MarkModule
Finds out if a module A is influenced by a module B. That is if a module A receives data from module B then it is influenced by module A. This class is (for example) used when a loop check is performed in addConnection of Network. The methods followAction (that marks the module) and modulePostCondition are defined in the abstract class MarkModule.

See Also:
addConnection, MarkModule

Variable Index

o fromModule
o influenced
Indicates whether the toModule is influenced by fromModule.
o toModule

Constructor Index

o InfluencesModule(Module, Module)
Checks whether the toModule is influenced by the fromModule.

Method Index

o isInfluenced()
Indicates whether the fromModule defined via the constructor influences the toModule.
o modulePreCondition(Module)
Inherited from MarkModule.

Variables

o influenced 
 private boolean influenced
Indicates whether the toModule is influenced by fromModule.

See Also:
toModule, fromModule
o fromModule 
 private Module fromModule
o toModule 
 private Module toModule

Constructors

o InfluencesModule 
 InfluencesModule(Module fromModule,
                  Module toModule)
Checks whether the toModule is influenced by the fromModule. Firstly using the FlowDownModuleStoreIterator all modules starting from fromConnection are marked until the toModule is reached. If that module is reached then that will mean that the toModule is influenced by the fromModule. Finally this the marked modules are unmarked.

See Also:
FlowDownModuleStoreIterator, toModule, fromModule, influenced, UnMarkModule

Methods

o isInfluenced 
 public boolean isInfluenced()
Indicates whether the fromModule defined via the constructor influences the toModule.

See Also:
Influences
o modulePreCondition 
 public boolean modulePreCondition(Module m)
Inherited from MarkModule. The condition is true when the analyzed module is marked. The condition is false when the toModule is influenced by the fromModule.

Overrides:
modulePreCondition in class MarkModule
See Also:
modulePreCondition