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:

OoaCheckASTVisitor.java
37 37 
import org.momut.ooas.ast.statements.SeqBlock;
38 38 
import org.momut.ooas.ast.statements.Statement;
39 39 
import org.momut.ooas.ast.types.OpaqueType;
40 
import org.momut.ooas.ast.types.UlyssesType;
40 
import org.momut.ooas.ast.types.Type;
41 41 
import org.momut.ooas.parser.ParserState;
42 42 
import org.momut.ooas.utils.exceptions.InternalCompilerException;
43 43 
import org.momut.ooas.visitors.OoaCompleteAstTraversalVisitor;
44 44 

  		




  45
  45
  
    
public final class OoaCheckASTVisitor extends OoaCompleteAstTraversalVisitor {


  		




  46
  46
  
    
	private final String m_tag;


  		




  47
  
  
    
	private final HashMap<String,UlyssesType> m_seenTypes = new HashMap<>();


  		




  
  47
  
    
	private final HashMap<String,Type> m_seenTypes = new HashMap<>();


  		




  48
  48
  
    

  		




  49
  49
  
    
	@Override


  		




  50
  50
  
    
	protected void VisitAstElement(IAst element, IAst parent) {


  		




  51
  
  
    
		if (element instanceof UlyssesType) {


  		




  52
  
  
    
			final UlyssesType t = (element instanceof OpaqueType) ? ((OpaqueType) element).resolvedType()  : (UlyssesType) element;


  		




  
  51
  
    
		if (element instanceof Type) {


  		




  
  52
  
    
			final Type t = (element instanceof OpaqueType) ? ((OpaqueType) element).resolvedType()  : (Type) element;


  		




  53
  53
  
    
			if (t != null) { // opaque might not have resolve yet..


  		




  54
  54
  
    
				final String typeStr = t.toString();


  		




  55
  55
  
    
				if (m_seenTypes.containsKey(typeStr)) {


  		












Also available in:  Unified diff