@@ -0,0 +1,1122 @@
+/*%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.api.fsm;%0A%0Aimport java.util.List;%0Aimport java.util.Map;%0Aimport java.util.Set;%0A%0Aimport prm4j.api.Symbol;%0Aimport prm4j.logic.MonitorState;%0Aimport prm4j.logic.StatefulSpec;%0A%0Apublic class FSMSpec implements StatefulSpec %7B%0A%0A    @Override%0A    public List%3CSymbol%3E getSymbols() %7B%0A%09// TODO Auto-generated method stub%0A%09return null;%0A    %7D%0A%0A    @Override%0A    public Map%3CSymbol, Set%3CSet%3CSymbol%3E%3E%3E getPropertyEnableSet() %7B%0A%09// TODO Auto-generated method stub%0A%09return null;%0A    %7D%0A%0A    @Override%0A    public Map%3CMonitorState%3C?%3E, Set%3CSet%3CSymbol%3E%3E%3E getStateCoEnableSet() %7B%0A%09// TODO Auto-generated method stub%0A%09return null;%0A    %7D%0A%0A    @Override%0A    public MonitorState%3C?%3E getInitialState() %7B%0A%09// TODO Auto-generated method stub%0A%09return null;%0A    %7D%0A%0A%7D%0A

Add FSMSpec