# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/java-all
      extensible: summaryModel
    data:
      - ["java.rmi.server", "ExportException", True, "ExportException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.rmi.server", "ExportException", True, "ExportException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.rmi.RemoteException.detail]", "value", "dfc-generated"]
      - ["java.rmi.server", "LogStream", True, "getOutputStream", "()", "", "Argument[this].SyntheticField[java.rmi.server.LogStream.logOut]", "ReturnValue", "value", "dfc-generated"]
      - ["java.rmi.server", "LogStream", True, "log", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "LogStream", True, "setOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this].SyntheticField[java.rmi.server.LogStream.logOut]", "value", "dfc-generated"]
      - ["java.rmi.server", "Operation", True, "Operation", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.rmi.server.Operation.operation]", "value", "dfc-generated"]
      - ["java.rmi.server", "Operation", True, "getOperation", "()", "", "Argument[this].SyntheticField[java.rmi.server.Operation.operation]", "ReturnValue", "value", "dfc-generated"]
      - ["java.rmi.server", "RMIClassLoader", True, "getSecurityContext", "(ClassLoader)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RMIClientSocketFactory", True, "createSocket", "(String,int)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RMIServerSocketFactory", True, "createServerSocket", "(int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RemoteCall", True, "getInputStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RemoteCall", True, "getOutputStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RemoteCall", True, "getResultStream", "(boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RemoteObject", True, "getRef", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RemoteObject", True, "toStub", "(Remote)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["java.rmi.server", "RemoteObjectInvocationHandler", True, "RemoteObjectInvocationHandler", "(RemoteRef)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.rmi.server", "RemoteRef", True, "newCall", "(RemoteObject,Operation[],int,long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "RemoteRef", True, "remoteToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.rmi.server", "ServerCloneException", True, "ServerCloneException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.rmi.server", "ServerCloneException", True, "ServerCloneException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.rmi.server.ServerCloneException.detail]", "value", "dfc-generated"]
      - ["java.rmi.server", "ServerNotActiveException", True, "ServerNotActiveException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.rmi.server", "Skeleton", True, "dispatch", "(Remote,RemoteCall,int,long)", "", "Argument[1]", "Argument[0]", "taint", "df-generated"]
      - ["java.rmi.server", "SkeletonMismatchException", True, "SkeletonMismatchException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.rmi.server", "SkeletonNotFoundException", True, "SkeletonNotFoundException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.rmi.server", "SkeletonNotFoundException", True, "SkeletonNotFoundException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.rmi.RemoteException.detail]", "value", "dfc-generated"]
      - ["java.rmi.server", "SocketSecurityException", True, "SocketSecurityException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.rmi.server", "SocketSecurityException", True, "SocketSecurityException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.rmi.RemoteException.detail]", "value", "dfc-generated"]
      - ["java.rmi.server", "UnicastRemoteObject", True, "exportObject", "(Remote,int,ObjectInputFilter)", "", "Argument[2]", "Argument[0]", "taint", "df-generated"]
      - ["java.rmi.server", "UnicastRemoteObject", True, "exportObject", "(Remote,int,RMIClientSocketFactory,RMIServerSocketFactory,ObjectInputFilter)", "", "Argument[4]", "Argument[0]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["java.rmi.server", "LogStream", "getDefaultStream", "()", "summary", "df-generated"]
      - ["java.rmi.server", "LogStream", "parseLevel", "(String)", "summary", "df-generated"]
      - ["java.rmi.server", "LogStream", "setDefaultStream", "(PrintStream)", "summary", "df-generated"]
      - ["java.rmi.server", "ObjID", "ObjID", "(int)", "summary", "df-generated"]
      - ["java.rmi.server", "ObjID", "read", "(ObjectInput)", "summary", "df-generated"]
      - ["java.rmi.server", "ObjID", "write", "(ObjectOutput)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "getClassAnnotation", "(Class)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "getClassLoader", "(String)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "getDefaultProviderInstance", "()", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "loadClass", "(String)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "loadClass", "(String,String)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "loadClass", "(String,String,ClassLoader)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "loadClass", "(URL,String)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoader", "loadProxyClass", "(String,String[],ClassLoader)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoaderSpi", "getClassAnnotation", "(Class)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoaderSpi", "getClassLoader", "(String)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoaderSpi", "loadClass", "(String,String,ClassLoader)", "summary", "df-generated"]
      - ["java.rmi.server", "RMIClassLoaderSpi", "loadProxyClass", "(String,String[],ClassLoader)", "summary", "df-generated"]
      - ["java.rmi.server", "RMISocketFactory", "getDefaultSocketFactory", "()", "summary", "df-generated"]
      - ["java.rmi.server", "RMISocketFactory", "getFailureHandler", "()", "summary", "df-generated"]
      - ["java.rmi.server", "RMISocketFactory", "getSocketFactory", "()", "summary", "df-generated"]
      - ["java.rmi.server", "RMISocketFactory", "setFailureHandler", "(RMIFailureHandler)", "summary", "df-generated"]
      - ["java.rmi.server", "RMISocketFactory", "setSocketFactory", "(RMISocketFactory)", "summary", "df-generated"]
      - ["java.rmi.server", "RemoteServer", "getClientHost", "()", "summary", "df-generated"]
      - ["java.rmi.server", "RemoteServer", "getLog", "()", "summary", "df-generated"]
      - ["java.rmi.server", "RemoteServer", "setLog", "(OutputStream)", "summary", "df-generated"]
      - ["java.rmi.server", "UID", "UID", "(short)", "summary", "df-generated"]
      - ["java.rmi.server", "UID", "read", "(DataInput)", "summary", "df-generated"]
      - ["java.rmi.server", "UID", "write", "(DataOutput)", "summary", "df-generated"]
      - ["java.rmi.server", "UnicastRemoteObject", "exportObject", "(Remote)", "summary", "df-generated"]
      - ["java.rmi.server", "UnicastRemoteObject", "exportObject", "(Remote,int)", "summary", "df-generated"]
      - ["java.rmi.server", "UnicastRemoteObject", "exportObject", "(Remote,int,RMIClientSocketFactory,RMIServerSocketFactory)", "summary", "df-generated"]
      - ["java.rmi.server", "UnicastRemoteObject", "unexportObject", "(Remote,boolean)", "summary", "df-generated"]