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:

OoaCheckObjectRefsConstant.java
45 45 
import org.momut.ooas.ast.types.MapType;
46 46 
import org.momut.ooas.ast.types.OoActionSystemType;
47 47 
import org.momut.ooas.ast.types.TupleType;
48 
import org.momut.ooas.ast.types.UlyssesType;
48 
import org.momut.ooas.ast.types.Type;
49 49 
import org.momut.ooas.parser.ParserError;
50 50 
import org.momut.ooas.parser.ParserMessage;
51 51 
import org.momut.ooas.parser.ParserState;
......
137 137 
	}
138 138 

  		




  139
  139
  
    
	private void check(TupleType type) {


  		




  140
  
  
    
		for (final UlyssesType t: type.innerTypes())


  		




  
  140
  
    
		for (final Type t: type.innerTypes())


  		




  141
  141
  
    
			switch (t.kind()) {


  		




  142
  142
  
    
			case ListType:


  		




  143
  143
  
    
				check( (ListType) t);


  		












Also available in:  Unified diff