return VerificationTypeFactory.createTopType(); case Value.TYPE_INTEGER: return VerificationTypeFactory.createIntegerType(); case Value.TYPE_LONG: return VerificationTypeFactory.createLongType(); case Value.TYPE_FLOAT: return VerificationTypeFactory.createFloatType(); case Value.TYPE_DOUBLE: return VerificationTypeFactory.createDoubleType(); case Value.TYPE_TOP: return VerificationTypeFactory.createTopType(); if (referenceValue.isNull() == Value.ALWAYS) return VerificationTypeFactory.createNullType(); return VerificationTypeFactory.createUninitializedThisType(); return VerificationTypeFactory.createUninitializedType(producerOffset); return VerificationTypeFactory.createObjectType(createClassConstant(programClass, referenceValue));
VerificationTypeFactory.createUninitializedThisType() : VerificationTypeFactory.createTopType();
initialVariables[0] = VerificationTypeFactory.createUninitializedThisType();
type = VerificationTypeFactory.createTopType();
VerificationTypeFactory.createUninitializedThisType() : VerificationTypeFactory.createTopType();
initialVariables[0] = VerificationTypeFactory.createUninitializedThisType();
return VerificationTypeFactory.createTopType(); case Value.TYPE_INTEGER: return VerificationTypeFactory.createIntegerType(); case Value.TYPE_LONG: return VerificationTypeFactory.createLongType(); case Value.TYPE_FLOAT: return VerificationTypeFactory.createFloatType(); case Value.TYPE_DOUBLE: return VerificationTypeFactory.createDoubleType(); case Value.TYPE_TOP: return VerificationTypeFactory.createTopType(); if (referenceValue.isNull() == Value.ALWAYS) return VerificationTypeFactory.createNullType(); return VerificationTypeFactory.createUninitializedThisType(); return VerificationTypeFactory.createUninitializedType(producerOffset); return VerificationTypeFactory.createObjectType(createClassConstant(programClass, referenceValue));
VerificationTypeFactory.createUninitializedThisType() : VerificationTypeFactory.createTopType();
initialVariables[0] = VerificationTypeFactory.createUninitializedThisType();
return VerificationTypeFactory.createTopType(); case Value.TYPE_INTEGER: return VerificationTypeFactory.createIntegerType(); case Value.TYPE_LONG: return VerificationTypeFactory.createLongType(); case Value.TYPE_FLOAT: return VerificationTypeFactory.createFloatType(); case Value.TYPE_DOUBLE: return VerificationTypeFactory.createDoubleType(); case Value.TYPE_TOP: return VerificationTypeFactory.createTopType(); if (referenceValue.isNull() == Value.ALWAYS) return VerificationTypeFactory.createNullType(); return VerificationTypeFactory.createUninitializedThisType(); return VerificationTypeFactory.createUninitializedType(producerOffset); return VerificationTypeFactory.createObjectType(createClassConstant(programClass, referenceValue));
initialVariables[0] = VerificationTypeFactory.createUninitializedThisType();
return VerificationTypeFactory.createTopType(); case Value.TYPE_INTEGER: return VerificationTypeFactory.createIntegerType(); case Value.TYPE_LONG: return VerificationTypeFactory.createLongType(); case Value.TYPE_FLOAT: return VerificationTypeFactory.createFloatType(); case Value.TYPE_DOUBLE: return VerificationTypeFactory.createDoubleType(); case Value.TYPE_TOP: return VerificationTypeFactory.createTopType(); case Value.TYPE_REFERENCE: if (referenceValue.isNull() == Value.ALWAYS) return VerificationTypeFactory.createNullType(); return VerificationTypeFactory.createUninitializedThisType(); return VerificationTypeFactory.createUninitializedType(producerOffset); return VerificationTypeFactory.createObjectType(createClassConstant(programClass, referenceValue));