2013-10-18 11:33:46 +00:00
|
|
|
|
// ino.module.PostIncExpr.8647.package
|
2014-09-02 08:33:54 +00:00
|
|
|
|
package de.dhbwstuttgart.syntaxtree.statement;
|
2013-10-18 11:33:46 +00:00
|
|
|
|
// ino.end
|
|
|
|
|
// ino.module.PostIncExpr.8647.import
|
|
|
|
|
import java.util.Hashtable;
|
|
|
|
|
import java.util.Iterator;
|
2014-02-09 15:07:31 +00:00
|
|
|
|
|
2015-09-02 15:11:32 +00:00
|
|
|
|
import org.apache.commons.bcel6.generic.BIPUSH;
|
|
|
|
|
import org.apache.commons.bcel6.generic.ClassGen;
|
|
|
|
|
import org.apache.commons.bcel6.generic.IINC;
|
|
|
|
|
import org.apache.commons.bcel6.generic.InstructionFactory;
|
|
|
|
|
import org.apache.commons.bcel6.generic.InstructionList;
|
2014-09-08 13:12:47 +00:00
|
|
|
|
|
2015-06-16 12:58:27 +00:00
|
|
|
|
import de.dhbwstuttgart.typeinference.Menge;
|
|
|
|
|
import de.dhbwstuttgart.logger.Logger;
|
2014-09-04 14:35:44 +00:00
|
|
|
|
import de.dhbwstuttgart.myexception.CTypeReconstructionException;
|
|
|
|
|
import de.dhbwstuttgart.myexception.JVMCodeException;
|
|
|
|
|
import de.dhbwstuttgart.myexception.SCExcept;
|
|
|
|
|
import de.dhbwstuttgart.myexception.SCStatementException;
|
2014-09-02 08:33:54 +00:00
|
|
|
|
import de.dhbwstuttgart.syntaxtree.Class;
|
2014-09-04 14:35:44 +00:00
|
|
|
|
import de.dhbwstuttgart.syntaxtree.SyntaxTreeNode;
|
2014-09-02 08:33:54 +00:00
|
|
|
|
import de.dhbwstuttgart.syntaxtree.type.GenericTypeVar;
|
|
|
|
|
import de.dhbwstuttgart.syntaxtree.type.RefType;
|
|
|
|
|
import de.dhbwstuttgart.syntaxtree.type.Type;
|
|
|
|
|
import de.dhbwstuttgart.syntaxtree.type.TypePlaceholder;
|
|
|
|
|
import de.dhbwstuttgart.syntaxtree.type.Void;
|
|
|
|
|
import de.dhbwstuttgart.typeinference.ConstraintsSet;
|
|
|
|
|
import de.dhbwstuttgart.typeinference.JavaCodeResult;
|
|
|
|
|
import de.dhbwstuttgart.typeinference.OderConstraint;
|
2014-09-08 13:12:47 +00:00
|
|
|
|
import de.dhbwstuttgart.typeinference.Pair;
|
2014-09-02 08:33:54 +00:00
|
|
|
|
import de.dhbwstuttgart.typeinference.ResultSet;
|
|
|
|
|
import de.dhbwstuttgart.typeinference.UndConstraint;
|
|
|
|
|
import de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions;
|
2014-09-05 09:49:31 +00:00
|
|
|
|
import de.dhbwstuttgart.typeinference.unify.CSubstitutionSet;
|
2014-09-02 09:07:16 +00:00
|
|
|
|
import de.dhbwstuttgart.typeinference.unify.Unify;
|
2013-10-18 11:33:46 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// ino.class.PostIncExpr.26021.declaration
|
|
|
|
|
public class PostIncExpr extends UnaryExpr
|
|
|
|
|
// ino.end
|
|
|
|
|
// ino.class.PostIncExpr.26021.body
|
|
|
|
|
{
|
|
|
|
|
// ino.method.PostIncExpr.26025.definition
|
|
|
|
|
public PostIncExpr(int offset,int variableLength)
|
|
|
|
|
// ino.end
|
|
|
|
|
// ino.method.PostIncExpr.26025.body
|
|
|
|
|
{
|
|
|
|
|
super(offset,variableLength);
|
|
|
|
|
}
|
|
|
|
|
// ino.end
|
2014-08-28 17:05:57 +00:00
|
|
|
|
|
2013-10-18 11:33:46 +00:00
|
|
|
|
// ino.attribute.parserlog.26031.declaration
|
|
|
|
|
protected static Logger parserlog = Logger.getLogger("parser");
|
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// ino.method.set_Expr.26034.definition
|
|
|
|
|
public void set_Expr(Expr ex)
|
|
|
|
|
// ino.end
|
|
|
|
|
// ino.method.set_Expr.26034.body
|
|
|
|
|
{
|
|
|
|
|
this.expr = ex;
|
|
|
|
|
}
|
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
|
|
// ino.method.get_Name.26037.definition
|
|
|
|
|
public String get_Name()
|
|
|
|
|
// ino.end
|
|
|
|
|
// ino.method.get_Name.26037.body
|
|
|
|
|
{
|
|
|
|
|
return null;
|
|
|
|
|
}
|
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
|
|
// ino.end
|
|
|
|
|
// ino.method.wandleRefTypeAttributes2GenericAttributes.26052.definition
|
2015-04-22 19:40:22 +00:00
|
|
|
|
public void wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)
|
2013-10-18 11:33:46 +00:00
|
|
|
|
// ino.end
|
|
|
|
|
// ino.method.wandleRefTypeAttributes2GenericAttributes.26052.body
|
|
|
|
|
{
|
|
|
|
|
}
|
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
|
|
@Override
|
|
|
|
|
public JavaCodeResult printJavaCode(ResultSet resultSet) {
|
2014-08-14 10:25:58 +00:00
|
|
|
|
JavaCodeResult ret = new JavaCodeResult();
|
|
|
|
|
ret.attach(this.expr.printJavaCode(resultSet));
|
|
|
|
|
ret.attach("++");
|
|
|
|
|
return ret;
|
2013-10-18 11:33:46 +00:00
|
|
|
|
}
|
|
|
|
|
|
2014-03-27 15:43:07 +00:00
|
|
|
|
@Override
|
2015-04-22 19:40:22 +00:00
|
|
|
|
public Menge<SyntaxTreeNode> getChildren() {
|
|
|
|
|
Menge<SyntaxTreeNode> ret = new Menge<SyntaxTreeNode>();
|
2014-03-27 15:43:07 +00:00
|
|
|
|
ret.add(this.expr);
|
|
|
|
|
return ret;
|
|
|
|
|
}
|
|
|
|
|
|
2015-06-25 12:27:18 +00:00
|
|
|
|
public static int counterPostInc = 0;
|
2015-06-16 12:58:27 +00:00
|
|
|
|
@Override
|
2015-06-25 12:27:18 +00:00
|
|
|
|
public InstructionList genByteCode(ClassGen cg) {
|
|
|
|
|
InstructionFactory _factory = new InstructionFactory(cg, cg.getConstantPool());
|
|
|
|
|
InstructionList il = new InstructionList();
|
|
|
|
|
counterPostInc++;
|
|
|
|
|
il.append(new IINC(counterPostInc,1));
|
2015-09-02 15:11:32 +00:00
|
|
|
|
//Tests aufgrund fehlener TypInferenz-Funktionalit<69>t nicht m<>glich
|
|
|
|
|
//Vermutlich muss der Counter noch angepasst werden, da nicht incrementierende Variablen nicht mitgez<65>hlt werden, und zu falschen aufrufen f<>hren
|
|
|
|
|
//Gibt es einen Compiler-internen Variablenindex, der den Counter effektiver ersetzen k<>nnte
|
2015-06-25 12:27:18 +00:00
|
|
|
|
return il;
|
2015-06-16 12:58:27 +00:00
|
|
|
|
}
|
|
|
|
|
|
2013-10-18 11:33:46 +00:00
|
|
|
|
}
|
|
|
|
|
// ino.end
|