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:

Scratchbook.java
29 29 

  		




  30
  30
  
    
import java.util.HashSet;


  		




  31
  31
  
    

  		




  32
  
  
    
import org.momut.ooas.ast.types.UlyssesType;


  		




  
  32
  
    
import org.momut.ooas.ast.types.Type;


  		




  33
  33
  
    

  		




  34
  34
  
    
public final class Scratchbook {


  		




  35
  35
  
    
	private int tmpVarCntr = 0;


  		




  36
  
  
    
	final HashSet<UlyssesType> m_definedTypes = new HashSet<UlyssesType>();


  		




  
  36
  
    
	final HashSet<Type> m_definedTypes = new HashSet<Type>();


  		




  37
  37
  
    
	final StringBuilder m_typeDefinitions = new StringBuilder();


  		




  38
  38
  
    

  		




  39
  39
  
    
	public synchronized int getNewTmpVarCntrValue() {


  		




  40
  40
  
    
		tmpVarCntr++;


  		




  41
  41
  
    
		return tmpVarCntr;


  		




  42
  42
  
    
	}


  		




  43
  
  
    
	public HashSet<UlyssesType> definedTypes() {return m_definedTypes;}


  		




  
  43
  
    
	public HashSet<Type> definedTypes() {return m_definedTypes;}


  		




  44
  44
  
    
	public StringBuilder typeDefinitions() {return m_typeDefinitions;}


  		




  45
  45
  
    
}


  		












Also available in:  Unified diff