Logical Structural Diff Rules

1. (50/50) By this change, six classes inherit many methods from AbsRegistry class.

(Back to the overview page)

after_inheritedmethod(x0,"org.objectweb.carol.jndi.ns.AbsRegistry",x2) => added_inheritedmethod(x0,"org.objectweb.carol.jndi.ns.AbsRegistry",x2)

P: added_inheritedmethod("getConfigProperties()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("getConfigProperties()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("getConfigProperties()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("getConfigProperties()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("getConfigProperties()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("getConfigProperties()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("isStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("isStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("resetStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("resetStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("resetStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("resetStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("resetStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("resetStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("setStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("setStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("setStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("setStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("setStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setStarted()","org.objectweb.carol.jndi.ns.AbsRegistry","org.objectweb.carol.jndi.ns.JeremieRegistry")

2. (32/32) By this change, six classes implement NameService inferface.

(Back to the overview page)

after_inheritedmethod(x0,"org.objectweb.carol.jndi.ns.NameService",x2) => added_inheritedmethod(x0,"org.objectweb.carol.jndi.ns.NameService",x2)

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("getHost()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("getPort()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("isStarted()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("isStarted()","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setHost(java.lang.String)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JeremieRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.CmiRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.DummyRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: added_inheritedmethod("setPort(int)","org.objectweb.carol.jndi.ns.NameService","org.objectweb.carol.jndi.ns.JeremieRegistry")

3. (6/8) All methods that are included in JacORBCosNaming class and NameService interface are deleted except start and stop methods.

(Back to the overview page)

before_method(x3,x1,"org.objectweb.carol.jndi.ns.NameService") ^ before_method(x0,x1,"org.objectweb.carol.jndi.ns.JacORBCosNaming") => deleted_method(x0,x1,"org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.getHost()","getHost()","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.getPort()","getPort()","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.isStarted()","isStarted()","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.setConfigProperties(java.util.Properties)","setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.setHost(java.lang.String)","setHost(java.lang.String)","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.setPort(int)","setPort(int)","org.objectweb.carol.jndi.ns.JacORBCosNaming")

N: [x1="start()", x0="org.objectweb.carol.jndi.ns.JacORBCosNaming.start()"]

N: [x1="stop()", x0="org.objectweb.carol.jndi.ns.JacORBCosNaming.stop()"]

4. (5/6) All host fields in the classes that implement NameService interface got deleted except LmiRegistry class.

(Back to the overview page)

before_subtype("org.objectweb.carol.jndi.ns.NameService",x2) ^ before_field(x0,"host",x2) => deleted_field(x0,"host",x2)

P: deleted_field("org.objectweb.carol.jndi.ns.CmiRegistry.host","host","org.objectweb.carol.jndi.ns.CmiRegistry")

P: deleted_field("org.objectweb.carol.jndi.ns.IIOPCosNaming.host","host","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: deleted_field("org.objectweb.carol.jndi.ns.JRMPRegistry.host","host","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_field("org.objectweb.carol.jndi.ns.JacORBCosNaming.host","host","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_field("org.objectweb.carol.jndi.ns.JeremieRegistry.host","host","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.LmiRegistry", x0="org.objectweb.carol.jndi.ns.LmiRegistry.host"]

5. (5/6) All port fields in the classes that implement NameService interface got deleted except LmiRegistry class.

(Back to the overview page)

before_subtype("org.objectweb.carol.jndi.ns.NameService",x2) ^ before_field(x0,"port",x2) => deleted_field(x0,"port",x2)

P: deleted_field("org.objectweb.carol.jndi.ns.CmiRegistry.port","port","org.objectweb.carol.jndi.ns.CmiRegistry")

P: deleted_field("org.objectweb.carol.jndi.ns.IIOPCosNaming.port","port","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: deleted_field("org.objectweb.carol.jndi.ns.JRMPRegistry.port","port","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_field("org.objectweb.carol.jndi.ns.JacORBCosNaming.port","port","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_field("org.objectweb.carol.jndi.ns.JeremieRegistry.port","port","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.LmiRegistry", x0="org.objectweb.carol.jndi.ns.LmiRegistry.port"]

6. (5/6) All getHost methods in the classes that implement NameService interface got deleted except LmiRegistry class.

(Back to the overview page)

before_subtype("org.objectweb.carol.jndi.ns.NameService",x2) ^ before_method(x0,"getHost()",x2) => deleted_method(x0,"getHost()",x2)

P: deleted_method("org.objectweb.carol.jndi.ns.CmiRegistry.getHost()","getHost()","org.objectweb.carol.jndi.ns.CmiRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.IIOPCosNaming.getHost()","getHost()","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JRMPRegistry.getHost()","getHost()","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.getHost()","getHost()","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JeremieRegistry.getHost()","getHost()","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.LmiRegistry", x0="org.objectweb.carol.jndi.ns.LmiRegistry.getHost()"]

7. (5/6) All getPort methods in the classes that implement NameService interface got deleted except LmiRegistry class.

(Back to the overview page)

before_subtype("org.objectweb.carol.jndi.ns.NameService",x2) ^ before_method(x0,"getPort()",x2) => deleted_method(x0,"getPort()",x2)

P: deleted_method("org.objectweb.carol.jndi.ns.CmiRegistry.getPort()","getPort()","org.objectweb.carol.jndi.ns.CmiRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.IIOPCosNaming.getPort()","getPort()","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JRMPRegistry.getPort()","getPort()","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.getPort()","getPort()","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JeremieRegistry.getPort()","getPort()","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.LmiRegistry", x0="org.objectweb.carol.jndi.ns.LmiRegistry.getPort()"]

.8 (5/6) All setConfigProperties methods in the classes that implement NameService interface got deleted except LmiRegistry class.

(Back to the overview page)

before_subtype("org.objectweb.carol.jndi.ns.NameService",x2) ^ before_method(x0,"setConfigProperties(java.util.Properties)",x2) => deleted_method(x0,"setConfigProperties(java.util.Properties)",x2)

P: deleted_method("org.objectweb.carol.jndi.ns.CmiRegistry.setConfigProperties(java.util.Properties)","setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.CmiRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.IIOPCosNaming.setConfigProperties(java.util.Properties)","setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JRMPRegistry.setConfigProperties(java.util.Properties)","setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.setConfigProperties(java.util.Properties)","setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JeremieRegistry.setConfigProperties(java.util.Properties)","setConfigProperties(java.util.Properties)","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.LmiRegistry", x0="org.objectweb.carol.jndi.ns.LmiRegistry.setConfigProperties(java.util.Properties)"]

9. (5/6) All setHost methods in the classes that implement NameService interface got deleted except LmiRegistry class.

(Back to the overview page)

before_subtype("org.objectweb.carol.jndi.ns.NameService",x2) ^ before_method(x0,"setHost(java.lang.String)",x2) => deleted_method(x0,"setHost(java.lang.String)",x2)

P: deleted_method("org.objectweb.carol.jndi.ns.CmiRegistry.setHost(java.lang.String)","setHost(java.lang.String)","org.objectweb.carol.jndi.ns.CmiRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.IIOPCosNaming.setHost(java.lang.String)","setHost(java.lang.String)","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JRMPRegistry.setHost(java.lang.String)","setHost(java.lang.String)","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.setHost(java.lang.String)","setHost(java.lang.String)","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JeremieRegistry.setHost(java.lang.String)","setHost(java.lang.String)","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.LmiRegistry", x0="org.objectweb.carol.jndi.ns.LmiRegistry.setHost(java.lang.String)"]

10. (5/6) All setPort methods in the classes that implement NameService interface got deleted except LmiRegistry class.

(Back to the overview page)

before_subtype("org.objectweb.carol.jndi.ns.NameService",x2) ^ before_method(x0,"setPort(int)",x2) => deleted_method(x0,"setPort(int)",x2)

P: deleted_method("org.objectweb.carol.jndi.ns.CmiRegistry.setPort(int)","setPort(int)","org.objectweb.carol.jndi.ns.CmiRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.IIOPCosNaming.setPort(int)","setPort(int)","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JRMPRegistry.setPort(int)","setPort(int)","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_method("org.objectweb.carol.jndi.ns.JacORBCosNaming.setPort(int)","setPort(int)","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_method("org.objectweb.carol.jndi.ns.JeremieRegistry.setPort(int)","setPort(int)","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.LmiRegistry", x0="org.objectweb.carol.jndi.ns.LmiRegistry.setPort(int)"]

11. (3/3) All configurationProperties fields got deleted.

(Back to the overview page)

before_field(x0,"configurationProperties",x2) => deleted_field(x0,"configurationProperties",x2)

P: deleted_field("org.objectweb.carol.jndi.ns.JRMPRegistry.configurationProperties","configurationProperties","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: deleted_field("org.objectweb.carol.jndi.ns.JacORBCosNaming.configurationProperties","configurationProperties","org.objectweb.carol.jndi.ns.JacORBCosNaming")

P: deleted_field("org.objectweb.carol.jndi.ns.JeremieRegistry.configurationProperties","configurationProperties","org.objectweb.carol.jndi.ns.JeremieRegistry")

12. (3/4) All DEFAULT_PORT_NUMBER fields are added fields except JacORBCosNaming class.

(Back to the overview page)

after_field(x0,"DEFAULT_PORT_NUMBER",x2) => added_field(x0,"DEFAULT_PORT_NUMBER",x2)

P: added_field("org.objectweb.carol.jndi.ns.IIOPCosNaming.DEFAULT_PORT_NUMBER","DEFAULT_PORT_NUMBER","org.objectweb.carol.jndi.ns.IIOPCosNaming")

P: added_field("org.objectweb.carol.jndi.ns.JRMPRegistry.DEFAULT_PORT_NUMBER","DEFAULT_PORT_NUMBER","org.objectweb.carol.jndi.ns.JRMPRegistry")

P: added_field("org.objectweb.carol.jndi.ns.JeremieRegistry.DEFAULT_PORT_NUMBER","DEFAULT_PORT_NUMBER","org.objectweb.carol.jndi.ns.JeremieRegistry")

N: [x2="org.objectweb.carol.jndi.ns.JacORBCosNaming", x0="org.objectweb.carol.jndi.ns.JacORBCosNaming.DEFAULT_PORT_NUMBER"]

Change facts that are not covered by the inferred rules

added_type("org.objectweb.carol.jndi.ns.AbsRegistry","AbsRegistry","org.objectweb.carol.jndi.ns")

added_type("org.objectweb.carol.jndi.ns.DummyRegistry","DummyRegistry","org.objectweb.carol.jndi.ns")

added_method("org.objectweb.carol.jndi.ns.JRMPRegistry.getRegistry()","getRegistry()","org.objectweb.carol.jndi.ns.JRMPRegistry")

deleted_field("org.objectweb.carol.jndi.ns.IIOPCosNaming.DEFAUL_PORT","DEFAUL_PORT","org.objectweb.carol.jndi.ns.IIOPCosNaming")

deleted_field("org.objectweb.carol.jndi.ns.JacORBCosNaming.started","started","org.objectweb.carol.jndi.ns.JacORBCosNaming")

added_accesses("org.objectweb.carol.cmi.ClusterRegistry.DEFAULT_PORT","org.objectweb.carol.jndi.ns.CmiRegistry.<init>()")

added_accesses("org.objectweb.carol.jndi.ns.JacORBCosNaming.DEFAULT_PORT_NUMBER","org.objectweb.carol.jndi.ns.JacORBCosNaming.<init>()")