JavaPatternMatching/src/mycompiler/myoperator/MulOp.java

// ino.module.MulOp.8605.package 
package mycompiler.myoperator;
// ino.end

// ino.module.MulOp.8605.import 
import java.util.HashMap;
import java.util.Hashtable;
import java.util.Iterator;
import java.util.Vector;

import typinferenz.assumptions.TypeAssumptions;
import typinferenz.exceptions.DebugException;
import mycompiler.myexception.CTypeReconstructionException;
import mycompiler.mystatement.Binary;
import mycompiler.mytype.Pair;
import mycompiler.mytype.RefType;
import mycompiler.mytype.Type;
import mycompiler.mytypereconstruction.CSupportData;
import mycompiler.mytypereconstruction.CTriple;
import mycompiler.mytypereconstruction.set.CSubstitutionSet;
import mycompiler.mytypereconstruction.set.CTripleSet;
import mycompiler.mytypereconstruction.set.CTypeAssumptionSet;
import mycompiler.mytypereconstruction.unify.Unify;
// ino.end

// ino.class.MulOp.24231.declaration 
public abstract class MulOp extends Operator
// ino.end
// ino.class.MulOp.24231.body
{
    // ino.method.MulOp.24235.definition 
    public MulOp(int offset, int variableLength)
    // ino.end
    // ino.method.MulOp.24235.body 
    {
        super(offset, variableLength);
    }
    // ino.end

    @Override
    protected Hashtable<RefType, RefType> getOperatorTypes() {
    	Hashtable<RefType, RefType> types = new Hashtable<RefType, RefType>();
    	
   		
    	return types;
    }
    
    @Override
	public HashMap<Type,Type> getReturnTypes(TypeAssumptions ass) {
		HashMap<Type,Type> ret = new HashMap<Type,Type>();
		ret.put(ass.getTypeFor(new RefType("java.lang.Integer",-1), this), ass.getTypeFor(new RefType("java.lang.Integer",-1), this));
   		ret.put(ass.getTypeFor(new RefType("java.lang.Double",-1), this), ass.getTypeFor(new RefType("java.lang.Double",-1), this));
   		ret.put(ass.getTypeFor(new RefType("java.lang.Float",-1), this), ass.getTypeFor(new RefType("java.lang.Float",-1), this));
   		ret.put(ass.getTypeFor(new RefType("java.lang.Long",-1), this), ass.getTypeFor(new RefType("java.lang.Long",-1), this));
   		
		return ret;
	}

    
}
// ino.end