2013-10-18 11:33:46 +00:00
|
|
|
// ino.module.LocalOrFieldVar.8637.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.LocalOrFieldVar.8637.import
|
|
|
|
import java.util.Enumeration;
|
|
|
|
import java.util.Hashtable;
|
2014-02-09 15:07:31 +00:00
|
|
|
|
2015-09-10 14:21:30 +00:00
|
|
|
import org.apache.commons.bcel6.Constants;
|
2015-09-02 15:11:32 +00:00
|
|
|
import org.apache.commons.bcel6.generic.ClassGen;
|
2015-09-10 14:21:30 +00:00
|
|
|
import org.apache.commons.bcel6.generic.InstructionList;
|
|
|
|
import org.apache.commons.bcel6.generic.ObjectType;
|
2015-06-16 12:58:27 +00:00
|
|
|
|
|
|
|
import de.dhbwstuttgart.typeinference.Menge;
|
2015-09-10 14:21:30 +00:00
|
|
|
import de.dhbwstuttgart.bytecode.ClassGenerator;
|
2014-10-09 10:01:16 +00:00
|
|
|
import de.dhbwstuttgart.logger.Logger;
|
2015-10-15 15:46:13 +00:00
|
|
|
import de.dhbwstuttgart.logger.Section;
|
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.misc.UsedId;
|
|
|
|
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.typeinference.ConstraintsSet;
|
|
|
|
import de.dhbwstuttgart.typeinference.JavaCodeResult;
|
|
|
|
import de.dhbwstuttgart.typeinference.ResultSet;
|
2015-11-27 15:10:35 +00:00
|
|
|
import de.dhbwstuttgart.typeinference.TypeinferenceResultSet;
|
2016-04-11 16:35:18 +00:00
|
|
|
import de.dhbwstuttgart.typeinference.assumptions.ClassAssumption;
|
2015-09-10 14:21:30 +00:00
|
|
|
import de.dhbwstuttgart.typeinference.assumptions.FieldAssumption;
|
2014-09-02 08:33:54 +00:00
|
|
|
import de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions;
|
|
|
|
import de.dhbwstuttgart.typeinference.exceptions.TypeinferenceException;
|
2013-10-18 11:33:46 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// ino.class.LocalOrFieldVar.25503.declaration
|
2016-04-11 16:35:18 +00:00
|
|
|
public class LocalOrFieldVarOrClassname extends Expr
|
2013-10-18 11:33:46 +00:00
|
|
|
// ino.end
|
|
|
|
// ino.class.LocalOrFieldVar.25503.body
|
|
|
|
{
|
|
|
|
|
|
|
|
// ino.attribute.parserlog.25507.declaration
|
|
|
|
protected static Logger parserlog = Logger.getLogger("parser");
|
|
|
|
// ino.end
|
2015-09-10 14:21:30 +00:00
|
|
|
private boolean isFieldAccess = false;
|
2016-04-11 16:35:18 +00:00
|
|
|
private boolean isClassAccess = false;
|
2013-10-18 11:33:46 +00:00
|
|
|
|
|
|
|
// ino.method.LocalOrFieldVar.25510.definition
|
2016-04-11 16:35:18 +00:00
|
|
|
public LocalOrFieldVarOrClassname(int offset, int variableLength)
|
2013-10-18 11:33:46 +00:00
|
|
|
// ino.end
|
|
|
|
// ino.method.LocalOrFieldVar.25510.body
|
|
|
|
{
|
|
|
|
super(offset,variableLength);
|
|
|
|
}
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
// ino.method.LocalOrFieldVar.25513.definition
|
2016-04-11 16:35:18 +00:00
|
|
|
public LocalOrFieldVarOrClassname(String n, int offset)
|
2013-10-18 11:33:46 +00:00
|
|
|
// ino.end
|
|
|
|
// ino.method.LocalOrFieldVar.25513.body
|
|
|
|
{
|
|
|
|
super(offset,n.length());
|
|
|
|
usedid = new UsedId(offset);
|
|
|
|
usedid.set_Name(n);
|
|
|
|
}
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
// ino.method.set_UsedId.25519.definition
|
|
|
|
public void set_UsedId(UsedId u)
|
|
|
|
// ino.end
|
|
|
|
// ino.method.set_UsedId.25519.body
|
|
|
|
{
|
|
|
|
this.usedid=u;
|
|
|
|
}
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// ino.method.get_Name.25522.definition
|
|
|
|
public String get_Name()
|
|
|
|
// ino.end
|
|
|
|
// ino.method.get_Name.25522.body
|
|
|
|
{
|
|
|
|
return usedid.get_Name_1Element();
|
|
|
|
}
|
|
|
|
// ino.end
|
|
|
|
|
2015-05-12 17:49:27 +00:00
|
|
|
|
2013-10-18 11:33:46 +00:00
|
|
|
|
|
|
|
// ino.method.toString.25534.defdescription type=javadoc
|
|
|
|
/**
|
2015-05-12 17:49:27 +00:00
|
|
|
* <br/>Author: Martin Pl�micke
|
2013-10-18 11:33:46 +00:00
|
|
|
* @return
|
|
|
|
*/
|
|
|
|
// ino.end
|
|
|
|
// ino.method.toString.25534.definition
|
|
|
|
public String toString()
|
|
|
|
// ino.end
|
|
|
|
// ino.method.toString.25534.body
|
|
|
|
{
|
2014-02-11 15:30:38 +00:00
|
|
|
if(getType()==null)return usedid.toString();
|
|
|
|
return usedid.toString() + ": " + getType().toString();
|
2013-10-18 11:33:46 +00:00
|
|
|
}
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
// ino.method.wandleRefTypeAttributes2GenericAttributes.25537.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.25537.body
|
|
|
|
{
|
|
|
|
}
|
|
|
|
// ino.end
|
|
|
|
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public ConstraintsSet TYPEExpr(TypeAssumptions assumptions) {
|
|
|
|
ConstraintsSet ret = new ConstraintsSet();
|
2015-05-12 17:49:27 +00:00
|
|
|
//gibt es eine Assumption für den die LocalOrFieldVar-Variablen, dann folgendes ausführen:
|
2014-02-19 22:04:48 +00:00
|
|
|
Type thisTypeAssumption = assumptions.getVarType(this.get_Name(), this.getParentClass());
|
2016-04-11 16:35:18 +00:00
|
|
|
if(thisTypeAssumption == null){//Es ist keine Variable oder Feld
|
|
|
|
//Testen ob es ein Klassenname ist:
|
|
|
|
ClassAssumption cAss = assumptions.getClass(this.get_Name());
|
|
|
|
if(cAss == null)throw new TypeinferenceException("Weder eine Variable noch eine Klasse "+this.get_Name()+" ist in den Assumptions nicht vorhanden",this);
|
|
|
|
|
|
|
|
thisTypeAssumption = cAss.getAssumedClass().getType();
|
|
|
|
this.set_Type(thisTypeAssumption);
|
|
|
|
this.isClassAccess = true;
|
|
|
|
}else{
|
|
|
|
Type thisType = thisTypeAssumption.checkTYPE(assumptions, this);
|
|
|
|
this.setType(thisType);
|
|
|
|
//ret.add(new Constraint(thisTypeAssumption, this.getTypeVariable()));
|
|
|
|
//Rausfinden, ob es Feld oder Locale Variable ist:
|
|
|
|
for(FieldAssumption fAss : assumptions.getFieldVars(this.get_Name())){
|
|
|
|
if(this.getParentClass().equals(fAss.getParentClass()))this.isFieldAccess = true;
|
|
|
|
};
|
|
|
|
}
|
2015-09-10 14:21:30 +00:00
|
|
|
|
2013-10-18 11:33:46 +00:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
public String getTypeInformation(){
|
2014-02-11 15:30:38 +00:00
|
|
|
return this.getType()+" "+this.get_Name();
|
2013-10-18 11:33:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public JavaCodeResult printJavaCode(ResultSet resultSet) {
|
|
|
|
return new JavaCodeResult(this.get_Name());
|
|
|
|
}
|
|
|
|
|
2014-02-22 03:58:49 +00:00
|
|
|
@Override
|
2015-04-22 19:40:22 +00:00
|
|
|
public Menge<SyntaxTreeNode> getChildren() {
|
|
|
|
Menge<SyntaxTreeNode> ret = new Menge<SyntaxTreeNode>();
|
2014-02-22 03:58:49 +00:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2015-06-16 12:58:27 +00:00
|
|
|
@Override
|
2015-11-27 15:10:35 +00:00
|
|
|
public InstructionList genByteCode(ClassGenerator cg, TypeinferenceResultSet rs) {
|
2015-09-10 14:21:30 +00:00
|
|
|
InstructionList il = new InstructionList();
|
|
|
|
if(this.isFieldAccess){
|
2015-11-27 15:10:35 +00:00
|
|
|
il.append(cg.getInstructionFactory().createFieldAccess(this.getParentClass().getName().toString(), this.get_Name(), this.getType().getBytecodeType(cg, rs), Constants.GETFIELD));
|
2015-09-10 14:21:30 +00:00
|
|
|
}
|
2015-10-15 15:46:13 +00:00
|
|
|
|
|
|
|
Type type = this.getType();
|
2015-11-27 15:10:35 +00:00
|
|
|
org.apache.commons.bcel6.generic.Type byteCodeType = type.getBytecodeType(cg, rs);
|
2015-10-15 15:46:13 +00:00
|
|
|
|
|
|
|
String name = this.get_Name();
|
|
|
|
|
2016-05-26 09:02:02 +00:00
|
|
|
il.append(cg.getMethodGenerator().createLoad(byteCodeType, name));
|
2015-09-10 14:21:30 +00:00
|
|
|
return il;
|
2015-06-16 12:58:27 +00:00
|
|
|
}
|
|
|
|
|
2013-10-18 11:33:46 +00:00
|
|
|
}
|
|
|
|
// ino.end
|