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:

OoaPrintActionsVisitor.java
41 41
import org.momut.ooas.ast.identifiers.NamedActionIdentifier;
42 42
import org.momut.ooas.ast.identifiers.ParameterIdentifier;
43 43
import org.momut.ooas.ast.types.FunctionType;
44
import org.momut.ooas.ast.types.UlyssesType;
44
import org.momut.ooas.ast.types.Type;
45 45
import org.momut.ooas.codegen.prolog.OoaPrologIdentifier;
46 46
import org.momut.ooas.parser.ParserMessage;
47 47
import org.momut.ooas.parser.ParserState;
......
160 160
		final StringBuilder parameter = new StringBuilder();
161 161
		if (e.arguments().size() > 0) {
162 162
			int z = 0;
163
			for (final UlyssesType ut: actionType.parameter()) {
163
			for (final Type ut: actionType.parameter()) {
164 164
				if (e.arguments().size() <= z)
165 165
					continue;
166 166
				Expression arg = e.arguments().get(z);

Also available in: Unified diff