/** * @apilevel internal */ private Type getSootType_compute() { return soot.BooleanType.v(); } /**
public soot.BooleanType soot_BooleanType() { if (instance_soot_BooleanType == null) { synchronized (this) { if (instance_soot_BooleanType == null) instance_soot_BooleanType = new soot.BooleanType(g); } } return instance_soot_BooleanType; } protected void release_soot_BooleanType() {
public Type getType() { return BooleanType.v(); }
public soot.BooleanType soot_BooleanType() { if( instance_soot_BooleanType == null ) instance_soot_BooleanType = new soot.BooleanType( g ); return instance_soot_BooleanType; }
public void outABooleanBaseType(ABooleanBaseType node) { mProductions.addLast(BooleanType.v()); }
public soot.BooleanType soot_BooleanType() { if( instance_soot_BooleanType == null ) instance_soot_BooleanType = new soot.BooleanType( g ); return instance_soot_BooleanType; }
public void outABooleanBaseTypeNoName(ABooleanBaseTypeNoName node) { mProductions.addLast(BooleanType.v()); }
public ClassHierarchy(Singletons.Global g) { typeNodeMap.put(BooleanType.v(), BOOLEAN); typeNodeMap.put(ByteType.v(), BYTE); typeNodeMap.put(ShortType.v(), SHORT); typeNodeMap.put(CharType.v(), CHAR); typeNodeMap.put(IntType.v(), INT); }
private Type byteCodeTypeOf(Type type) { if (type.equals(ShortType.v()) || type.equals(CharType.v()) || type.equals(ByteType.v()) || type.equals(BooleanType.v())) { return IntType.v(); } else { return type; } }
/** Converts the int-like types (short, byte, boolean and char) to IntType. */ public static Type toMachineType(Type t) { if (t.equals(ShortType.v()) || t.equals(ByteType.v()) || t.equals(BooleanType.v()) || t.equals(CharType.v())) { return IntType.v(); } else { return t; } }
public static boolean isIntLikeType(Type t) { return t.equals(IntType.v()) || t.equals(ByteType.v()) || t.equals(ShortType.v()) || t.equals(CharType.v()) || t.equals(BooleanType.v()); }
public void caseIfStmt(IfStmt stmt) { this.handleBinopExpr((BinopExpr) stmt.getCondition(), stmt, BooleanType.v()); }
public static Value createConstant(Object toConvert) { if (toConvert instanceof Long) { return LongConstant.v(((Long) toConvert).longValue()); } else if (toConvert instanceof Double) { return DoubleConstant.v(((Double) toConvert).doubleValue()); } else if (toConvert instanceof Boolean) { boolean val = ((Boolean) toConvert).booleanValue(); if (val) { return DIntConstant.v(1, BooleanType.v()); } else { return DIntConstant.v(0, BooleanType.v()); } } else if (toConvert instanceof Float) { return FloatConstant.v(((Float) toConvert).floatValue()); } else if (toConvert instanceof Integer) { return IntConstant.v(((Integer) toConvert).intValue()); } else { return null; } }
baseType = ShortType.v(); } else if (tmp.equals("Z")) { baseType = BooleanType.v(); } else { throw new RuntimeException("Unsupported class constant: " + value);
baseType = ShortType.v(); } else if (descriptor.equals("Z")) { baseType = BooleanType.v(); } else { throw new RuntimeException("Unknown field type: " + descriptor);
public Type getType() { Value op1 = op1Box.getValue(); Value op2 = op2Box.getValue(); Type op1t = op1.getType(); Type op2t = op2.getType(); if ((op1t.equals(IntType.v()) || op1t.equals(ByteType.v()) || op1t.equals(ShortType.v()) || op1t.equals(CharType.v()) || op1t.equals(BooleanType.v())) && (op2t.equals(IntType.v()) || op2t.equals(ByteType.v()) || op2t.equals(ShortType.v()) || op2t.equals(CharType.v()) || op2t.equals(BooleanType.v()))) { return IntType.v(); } else if (op1t.equals(LongType.v()) || op2t.equals(LongType.v())) { return LongType.v(); } else if (op1t.equals(DoubleType.v()) || op2t.equals(DoubleType.v())) { return DoubleType.v(); } else if (op1t.equals(FloatType.v()) || op2t.equals(FloatType.v())) { return FloatType.v(); } else { return UnknownType.v(); } } }
} else { int type; if (t.equals(BooleanType.v())) { type = Opcodes.T_BOOLEAN; } else if (t.equals(CharType.v())) {
switch (desc.charAt(0)) { case 'Z': baseType = BooleanType.v(); break; case 'B':
return BooleanType.v(); case 'B': return ByteType.v();