Searched refs:objectref (Results 1 – 1 of 1) sorted by relevance
542 final ReferenceType objectref = (ReferenceType) (stack().peek()); in visitARETURN() local543 referenceTypeIsInitialized(o, objectref); in visitARETURN()698 final Type objectref = stack().peek(0); in visitCHECKCAST() local699 if (!(objectref instanceof ReferenceType)) { in visitCHECKCAST()700 … constraintViolated(o, "The 'objectref' is not of a ReferenceType but of type "+objectref+"."); in visitCHECKCAST()1268 final Type objectref = stack().peek(); in visitGETFIELD() local1269 if (! ( (objectref instanceof ObjectType) || (objectref == Type.NULL) ) ) { in visitGETFIELD()1270 … "Stack top should be an object reference that's not an array reference, but is '"+objectref+"'."); in visitGETFIELD()1784 final Type objectref = stack().peek(0); in visitINSTANCEOF() local1785 if (!(objectref instanceof ReferenceType)) { in visitINSTANCEOF()[all …]