Projet

Général

Profil

Télécharger (1017 octets)

Anomalie #4162 » Class.WDEV_4162.php

Jérôme Augé, 17/07/2013 17:51

 
<?php

class WDEV_4162 extends Wdoc
{
public $attrPrefix = "WAD";

const e1 = "dev_4162_e1";
const e2 = "dev_4162_e2";
const e3 = "dev_4162_e3";
const e4 = "dev_4162_e4";

const t1 = "dev_4162_t1";
const t2 = "dev_4162_t2";
const t3 = "dev_4162_t3";

public $firstState = self::e1;
public $transitions = array(
self::t1 => array(),
self::t2 => array(),
self::t3 => array()
);
public $cycle = array(
array(
"e1" => self::e1,
"e2" => self::e2,
"t" => self::t1
),
array(
"e1" => self::e2,
"e2" => self::e3,
"t" => self::t2
),
array(
"e1" => self::e3,
"e2" => self::e4,
"t" => self::t3
)
);
public $stateactivity = array(
self::e1 => "Dev 4162 E1",
self::e2 => "Dev 4162 E2",
self::e3 => "Dev 4162 E3",
self::e4 => "Dev 4162 E4"
);
}
(1-1/2)