Politic Simualtion

Identifier:

fr.inria.aoste.simulator.policies.fr.inria.aoste.simulator.policies.politicSimulation

Description:

his extension point is used to add new simulation politic for CCSL solver

Configuration Markup:

<!ELEMENT extension (Politic)+>

<!ATTLIST extension

point CDATA #REQUIRED

id CDATA #IMPLIED

name CDATA #IMPLIED

<!ELEMENT Politic EMPTY>

<!ATTLIST Politic

name CDATA #IMPLIED

class CDATA #REQUIRED

comment CDATA #IMPLIED

name - Give a name to a Politic
class - Give a class which implement a Politic
comment - Politic's Description

Examples:

The following is an example of an internal simulation politic definition:


<extension point="fr.inria.aoste.simulator.policies.politicSimulation">
      <Politic
            class="fr.inria.simul.politics.fire.SimFireRandom"
             comment="random choice"
            name="Random">
      </Politic>
      
      <Politic
            class="fr.inria.simul.politics.fire.SimFireMax"
            name="Max">
      </Politic>
      
</extension>

API Information:

The class of politic simul ation can override methods :

public int fireDone(TriStateSet enable, TriStateSet fired, BDD bdd);

       public int fireDone(TriStateSet force, TriStateSet choix, BDD bddin) {

       if (super.fireDone(force, choix, bddin) == 0)
          return 0;
        BDD bdd = bddin.restrict(getRestrict());
        // ...write your code
        return 1;
       }

public int startSimul();

public int endSimul();

for write a Message can use a PrintStream sysOut;

Kairos INRIA/I3S 2008-2009