test/VerifierDeps/Main.smali

# Copyright (C) 2016 The Android Open Source Project
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#      http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

.class public LMain;
.super LMyThreadSet;

.method public static ArgumentType_ResolvedClass(Ljava/lang/Thread;)V
  .registers 1
  return-void
.end method

.method public static ArgumentType_ResolvedReferenceArray([Ljava/lang/Thread;)V
  .registers 1
  return-void
.end method

.method public static ArgumentType_ResolvedPrimitiveArray([B)V
  .registers 1
  return-void
.end method

.method public static ArgumentType_UnresolvedClass(LUnresolvedClass;)V
  .registers 1
  return-void
.end method

.method public static ArgumentType_UnresolvedSuper(LMySetWithUnresolvedSuper;)V
  .registers 1
  return-void
.end method

.method public static ReturnType_Reference(Ljava/lang/IllegalStateException;)Ljava/lang/Throwable;
  .registers 1
  return-object p0
.end method

.method public static ReturnType_Array([Ljava/lang/IllegalStateException;)[Ljava/lang/Integer;
  .registers 1
  return-object p0
.end method

.method public static InvokeArgumentType(Ljava/text/SimpleDateFormat;Ljava/util/SimpleTimeZone;)V
  .registers 2
  invoke-virtual {p0, p1}, Ljava/text/SimpleDateFormat;->setTimeZone(Ljava/util/TimeZone;)V
  return-void
.end method

.method public static MergeTypes_RegisterLines(Z)Ljava/lang/Object;
  .registers 2
  if-eqz p0, :else

  new-instance v0, LMySocketTimeoutException;
  invoke-direct {v0}, LMySocketTimeoutException;-><init>()V
  goto :merge

  :else
  new-instance v0, Ljava/util/concurrent/TimeoutException;
  invoke-direct {v0}, Ljava/util/concurrent/TimeoutException;-><init>()V
  goto :merge

  :merge
  return-object v0
.end method

.method public static MergeTypes_IfInstanceOf(Ljava/net/SocketTimeoutException;)V
  .registers 2
  instance-of v0, p0, Ljava/util/concurrent/TimeoutException;
  if-eqz v0, :else
  return-void
  :else
  return-void
.end method

.method public static MergeTypes_Unresolved(ZZLUnresolvedClassA;)Ljava/lang/Object;
  .registers 5
  if-eqz p0, :else1

  move-object v0, p2
  goto :merge

  :else1
  if-eqz p1, :else2

  new-instance v0, Ljava/util/concurrent/TimeoutException;
  invoke-direct {v0}, Ljava/util/concurrent/TimeoutException;-><init>()V
  goto :merge

  :else2
  new-instance v0, Ljava/net/SocketTimeoutException;
  invoke-direct {v0}, Ljava/net/SocketTimeoutException;-><init>()V
  goto :merge

  :merge
  return-object v0
.end method

.method public static ConstClass_Resolved()V
  .registers 1
  const-class v0, Ljava/lang/IllegalStateException;
  return-void
.end method

.method public static ConstClass_Unresolved()V
  .registers 1
  const-class v0, LUnresolvedClass;
  return-void
.end method

.method public static CheckCast_Resolved(Ljava/lang/Object;)V
  .registers 1
  check-cast p0, Ljava/lang/IllegalStateException;
  return-void
.end method

.method public static CheckCast_Unresolved(Ljava/lang/Object;)V
  .registers 1
  check-cast p0, LUnresolvedClass;
  return-void
.end method

.method public static InstanceOf_Resolved(Ljava/lang/Object;)Z
  .registers 1
  instance-of p0, p0, Ljava/lang/IllegalStateException;
  return p0
.end method

.method public static InstanceOf_Unresolved(Ljava/lang/Object;)Z
  .registers 1
  instance-of p0, p0, LUnresolvedClass;
  return p0
.end method

.method public static NewInstance_Resolved()V
  .registers 1
  new-instance v0, Ljava/lang/IllegalStateException;
  return-void
.end method

.method public static NewInstance_Unresolved()V
  .registers 1
  new-instance v0, LUnresolvedClass;
  return-void
.end method

.method public static NewArray_Resolved()V
  .registers 1
  const/4 v0, 0x1
  new-array v0, v0, [Ljava/lang/IllegalStateException;
  return-void
.end method

.method public static NewArray_Unresolved()V
  .registers 2
  const/4 v0, 0x1
  new-array v0, v0, [LUnresolvedClass;
  return-void
.end method

.method public static Throw(Ljava/lang/IllegalStateException;)V
  .registers 2
  throw p0
.end method

.method public static MoveException_Resolved()Ljava/lang/Object;
  .registers 1
  :try_start
  invoke-static {}, Ljava/lang/System;->nanoTime()J
  :try_end
  .catch Ljava/net/SocketTimeoutException; {:try_start .. :try_end} :catch_block
  .catch Ljava/io/InterruptedIOException; {:try_start .. :try_end} :catch_block
  .catch Ljava/util/zip/ZipException; {:try_start .. :try_end} :catch_block
  const/4 v0, 0x0
  return-object v0

  :catch_block
  move-exception v0
  return-object v0
.end method

.method public static MoveException_Unresolved()Ljava/lang/Object;
  .registers 1
  :try_start
  invoke-static {}, Ljava/lang/System;->nanoTime()J
  :try_end
  .catch LUnresolvedException; {:try_start .. :try_end} :catch_block
  const/4 v0, 0x0
  return-object v0

  :catch_block
  move-exception v0
  return-object v0
.end method

.method public static StaticField_Resolved_DeclaredInReferenced()V
  .registers 1
  sget-object v0, Ljava/lang/System;->out:Ljava/io/PrintStream;
  return-void
.end method

.method public static StaticField_Resolved_DeclaredInSuperclass1()V
  .registers 1
  sget v0, Ljava/util/SimpleTimeZone;->LONG:I
  return-void
.end method

.method public static StaticField_Resolved_DeclaredInSuperclass2()V
  .registers 1
  sget v0, LMySimpleTimeZone;->SHORT:I
  return-void
.end method

.method public static StaticField_Resolved_DeclaredInInterface1()V
  .registers 1
  # Case 1: DOMResult implements Result
  sget-object v0, Ljavax/xml/transform/dom/DOMResult;->PI_ENABLE_OUTPUT_ESCAPING:Ljava/lang/String;
  return-void
.end method

.method public static StaticField_Resolved_DeclaredInInterface2()V
  .registers 1
  # Case 2: MyDOMResult extends DOMResult, DOMResult implements Result
  sget-object v0, LMyDOMResult;->PI_ENABLE_OUTPUT_ESCAPING:Ljava/lang/String;
  return-void
.end method

.method public static StaticField_Resolved_DeclaredInInterface3()V
  .registers 1
  # Case 3: MyResult implements Result
  sget-object v0, LMyResult;->PI_ENABLE_OUTPUT_ESCAPING:Ljava/lang/String;
  return-void
.end method

.method public static StaticField_Resolved_DeclaredInInterface4()V
  .registers 1
  # Case 4: MyDocument implements Document, Document extends Node
  sget-short v0, LMyDocument;->ELEMENT_NODE:S
  return-void
.end method

.method public static StaticField_Unresolved_ReferrerInBoot()V
  .registers 1
  sget v0, Ljava/util/TimeZone;->x:I
  return-void
.end method

.method public static StaticField_Unresolved_ReferrerInDex()V
  .registers 1
  sget v0, LMyThreadSet;->x:I
  return-void
.end method

.method public static InstanceField_Resolved_DeclaredInReferenced(LMySocketTimeoutException;)V
  .registers 1
  iget v0, p0, Ljava/io/InterruptedIOException;->bytesTransferred:I
  return-void
.end method

.method public static InstanceField_Resolved_DeclaredInSuperclass1(LMySocketTimeoutException;)V
  .registers 1
  iget v0, p0, Ljava/net/SocketTimeoutException;->bytesTransferred:I
  return-void
.end method

.method public static InstanceField_Resolved_DeclaredInSuperclass2(LMySocketTimeoutException;)V
  .registers 1
  iget v0, p0, LMySocketTimeoutException;->bytesTransferred:I
  return-void
.end method

.method public static InstanceField_Unresolved_ReferrerInBoot(LMySocketTimeoutException;)V
  .registers 1
  iget v0, p0, Ljava/io/InterruptedIOException;->x:I
  return-void
.end method

.method public static InstanceField_Unresolved_ReferrerInDex(LMyThreadSet;)V
  .registers 1
  iget v0, p0, LMyThreadSet;->x:I
  return-void
.end method

.method public static InvokeStatic_Resolved_DeclaredInReferenced()V
  .registers 1
  const v0, 0x0
  invoke-static {v0}, Ljava/net/Socket;->setSocketImplFactory(Ljava/net/SocketImplFactory;)V
  return-void
.end method

.method public static InvokeStatic_Resolved_DeclaredInSuperclass1()V
  .registers 1
  const v0, 0x0
  invoke-static {v0}, Ljavax/net/ssl/SSLSocket;->setSocketImplFactory(Ljava/net/SocketImplFactory;)V
  return-void
.end method

.method public static InvokeStatic_Resolved_DeclaredInSuperclass2()V
  .registers 1
  const v0, 0x0
  invoke-static {v0}, LMySSLSocket;->setSocketImplFactory(Ljava/net/SocketImplFactory;)V
  return-void
.end method

.method public static InvokeStatic_DeclaredInInterface1()V
  .registers 1
  invoke-static {}, Ljava/util/Map$Entry;->comparingByKey()Ljava/util/Comparator;
  return-void
.end method

.method public static InvokeStatic_DeclaredInInterface2()V
  .registers 1
  # AbstractMap$SimpleEntry implements Map$Entry
  # INVOKE_STATIC does not resolve to methods in superinterfaces. This will
  # therefore result in an unresolved method.
  invoke-static {}, Ljava/util/AbstractMap$SimpleEntry;->comparingByKey()Ljava/util/Comparator;
  return-void
.end method

.method public static InvokeStatic_Unresolved1()V
  .registers 1
  invoke-static {}, Ljavax/net/ssl/SSLSocket;->x()V
  return-void
.end method

.method public static InvokeStatic_Unresolved2()V
  .registers 1
  invoke-static {}, LMySSLSocket;->x()V
  return-void
.end method

.method public static InvokeDirect_Resolved_DeclaredInReferenced()V
  .registers 1
  new-instance v0, Ljava/net/Socket;
  invoke-direct {v0}, Ljava/net/Socket;-><init>()V
  return-void
.end method

.method public static InvokeDirect_Resolved_DeclaredInSuperclass1(LMySSLSocket;)V
  .registers 1
  invoke-direct {p0}, Ljavax/net/ssl/SSLSocket;->checkOldImpl()V
  return-void
.end method

.method public static InvokeDirect_Resolved_DeclaredInSuperclass2(LMySSLSocket;)V
  .registers 1
  invoke-direct {p0}, LMySSLSocket;->checkOldImpl()V
  return-void
.end method

.method public static InvokeDirect_Unresolved1(LMySSLSocket;)V
  .registers 1
  invoke-direct {p0}, Ljavax/net/ssl/SSLSocket;->x()V
  return-void
.end method

.method public static InvokeDirect_Unresolved2(LMySSLSocket;)V
  .registers 1
  invoke-direct {p0}, LMySSLSocket;->x()V
  return-void
.end method

.method public static InvokeVirtual_Resolved_DeclaredInReferenced(LMySocketTimeoutException;)V
  .registers 1
  invoke-virtual {p0}, Ljava/lang/Throwable;->getMessage()Ljava/lang/String;
  return-void
.end method

.method public static InvokeVirtual_Resolved_DeclaredInSuperclass1(LMySocketTimeoutException;)V
  .registers 1
  invoke-virtual {p0}, Ljava/io/InterruptedIOException;->getMessage()Ljava/lang/String;
  return-void
.end method

.method public static InvokeVirtual_Resolved_DeclaredInSuperclass2(LMySocketTimeoutException;)V
  .registers 1
  invoke-virtual {p0}, LMySocketTimeoutException;->getMessage()Ljava/lang/String;
  return-void
.end method

.method public static InvokeVirtual_Resolved_DeclaredInSuperinterface(LMyThreadSet;)V
  .registers 1
  invoke-virtual {p0}, LMyThreadSet;->size()I
  return-void
.end method

.method public static InvokeVirtual_Unresolved1(LMySocketTimeoutException;)V
  .registers 1
  invoke-virtual {p0}, Ljava/io/InterruptedIOException;->x()V
  return-void
.end method

.method public static InvokeVirtual_Unresolved2(LMySocketTimeoutException;)V
  .registers 1
  invoke-virtual {p0}, LMySocketTimeoutException;->x()V
  return-void
.end method

.method public static InvokeInterface_Resolved_DeclaredInReferenced(LMyThread;)V
  .registers 1
  invoke-interface {p0}, Ljava/lang/Runnable;->run()V
  return-void
.end method

.method public static InvokeInterface_Resolved_DeclaredInSuperclass(LMyThread;)V
  .registers 1
  # Method join() is declared in the superclass of MyThread. As such, it should
  # be called with invoke-virtual. However, the lookup type does not depend
  # on the invoke type, so it shall be resolved here anyway.
  # TODO: Maybe we should not record dependency if the invoke type does not match the lookup type.
  invoke-interface {p0}, LMyThread;->join()V
  return-void
.end method

.method public static InvokeInterface_Resolved_DeclaredInSuperinterface1(LMyThreadSet;)V
  .registers 1
  # Verification will fail because the referring class is not an interface.
  # However, the lookup type does not depend on the invoke type, so it shall be resolved here anyway.
  # TODO: Maybe we should not record dependency if the invoke type does not match the lookup type.
  invoke-interface {p0}, LMyThreadSet;->run()V
  return-void
.end method

.method public static InvokeInterface_Resolved_DeclaredInSuperinterface2(LMyThreadSet;)V
  .registers 1
  # Verification will fail because the referring class is not an interface.
  invoke-interface {p0}, LMyThreadSet;->isEmpty()Z
  return-void
.end method

.method public static InvokeInterface_Unresolved1(LMyThread;)V
  .registers 1
  invoke-interface {p0}, Ljava/lang/Runnable;->x()V
  return-void
.end method

.method public static InvokeInterface_Unresolved2(LMyThread;)V
  .registers 1
  invoke-interface {p0}, LMyThreadSet;->x()V
  return-void
.end method

.method public static InvokeSuper_ThisAssignable(Ljava/lang/Thread;)V
  .registers 1
  invoke-super {p0}, Ljava/lang/Runnable;->run()V
  return-void
.end method

.method public static InvokeSuper_ThisNotAssignable(Ljava/lang/Integer;)V
  .registers 1
  invoke-super {p0}, Ljava/lang/Integer;->intValue()I
  return-void
.end method