@@ -0,0 +1,1417 @@
+/*%0A * Copyright (c) 2012 Mateusz Parzonka, Eric Bodden%0A * All rights reserved. This program and the accompanying materials%0A * are made available under the terms of the Eclipse Public License v1.0%0A * which accompanies this distribution, and is available at%0A * http://www.eclipse.org/legal/epl-v10.html%0A *%0A * Contributors:%0A * Mateusz Parzonka - initial API and implementation%0A */%0Apackage prm4j.logic;%0A%0Aimport java.util.List;%0Aimport java.util.Map;%0Aimport java.util.Set;%0A%0Aimport prm4j.api.Symbol;%0A%0A/**%0A * A specification which can be implemented by classes which provide parameters, symbols and have a finite number of%0A * states.%0A */%0Apublic interface StatefulSpec %7B%0A%0A    /**%0A     * Get all symbols.%0A     *%0A     * @return all symbols%0A     */%0A    public List%3CSymbol%3E getSymbols();%0A%0A    /**%0A     * Returns the property enable set. It maps each symbol S into a set of symbol sets, where each symbol have to be%0A     * seen, before S can be observerd.%0A     *%0A     * @return the property enable set%0A     */%0A    public Map%3CSymbol, Set%3CSet%3CSymbol%3E%3E%3E getPropertyEnableSet();%0A%0A    /**%0A     * Return the state co-enable set. It maps each state to set of symbol sets, where each symbol has to be seen at%0A     * least once to trigger a match. When some symbols may not be seen, no match can be triggered.%0A     *%0A     * @return the state co-enable set%0A     */%0A    public Map%3CMonitorState%3C?%3E, Set%3CSet%3CSymbol%3E%3E%3E getStateCoEnableSet();%0A%0A%7D%0A

Add StatefulSpec