Project

General

Profile

Revision 9

Added by Willibald K. over 8 years ago

remove support for Qualitative Action Systems, rename UlyssesType to Type

View differences:

OoaRemoveTrivialNondetChoiceCompositionVisitor.java
39 39 
import org.momut.ooas.ast.statements.Statement;
40 40 
import org.momut.ooas.ast.statements.StatementKind;
41 41 
import org.momut.ooas.ast.types.OoActionSystemType;
42 
import org.momut.ooas.ast.types.UlyssesType;
42 
import org.momut.ooas.ast.types.Type;
43 43 
import org.momut.ooas.parser.ParserState;
44 44 
import org.momut.ooas.utils.exceptions.NotImplementedException;
45 45 
import org.momut.ooas.utils.exceptions.InternalCompilerException;
......
65 65 
			switch (parent.nodeType())
66 66 
			{
67 67 
			case type:
68 
				switch (((UlyssesType)parent).kind())
68 
				switch (((Type)parent).kind())
69 69 
				{
70 70 
				case OoActionSystemType:
71 71 
					final OoActionSystemType atype = (OoActionSystemType)parent;

Also available in: Unified diff