Update java generator code to output updated prt imports (#819)

Author: mchadalavada

Src/PCompiler/CompilerCore/Backend/Java/Constants.cs

@@ -15,7 +15,7 @@ internal static class Constants
     {
         #region P Java runtime constants
 
-        public static readonly string PRTNamespaceName = "prt";
+        public static readonly string PRTNamespaceName = "com.amazon.pobserve.runtime";
 
         public static readonly string TryAssertMethodName = "tryAssert";
         public static readonly string TryRaiseEventMethodName = "tryRaiseEvent";
@@ -130,22 +130,6 @@ internal static string AsFFIComment(string line)
     </properties>
     <packaging>jar</packaging>
 
-    <dependencies>
-        <dependency>
-            <groupId>p.runtime</groupId>
-            <artifactId>PJavaRuntime</artifactId>
-            <version>1.0-SNAPSHOT</version>
-
-            <!-- Do not transitively bundle log4j as whoever uses this jar will also depend on it. -->
-            <exclusions>
-                <exclusion>
-                    <groupId>org.apache.logging.log4j</groupId>
-                    <artifactId>*</artifactId>
-                </exclusion>
-            </exclusions>
-        </dependency>
-    </dependencies>
-
     <build>
         <plugins>
             -foreign-include-
@@ -201,35 +185,35 @@ internal static string AsFFIComment(string line)
         /// The fully-qualified name of the static `deepClone(PrtValue)` method exposed by
         /// the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtDeepCloneMethodName = "prt.values.Clone.deepClone";
+        internal static readonly string PrtDeepCloneMethodName = "com.amazon.pobserve.runtime.values.Clone.deepClone";
 
         /// <summary>
         /// The fully-qualified name of the static `deepEquality(Object, Object)` method
         /// exposed by the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtDeepEqualsMethodName = "prt.values.Equality.deepEquals";
+        internal static readonly string PrtDeepEqualsMethodName = "com.amazon.pobserve.runtime.values.Equality.deepEquals";
 
         /// <summary>
         /// The fully-qualified name of the static `compare(Comparable, Comparable)` method
         /// exposed by the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtCompareMethodName = "prt.values.Equality.compare";
+        internal static readonly string PrtCompareMethodName = "com.amazon.pobserve.runtime.values.Equality.compare";
 
         /// <summary>
         /// The fully-qualified name of the static `elementAt(LinkedHashSet, long)` method
         /// exposed by the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtSetElementAtMethodName = "prt.values.SetIndexing.elementAt";
+        internal static readonly string PrtSetElementAtMethodName = "com.amazon.pobserve.runtime.values.SetIndexing.elementAt";
 
         /// <summary>
         /// The fully-qualified class name of the Java P runtime's PValue class.
         /// </summary>
-        internal static readonly string PValueClass = "prt.values.PValue";
+        internal static readonly string PValueClass = "com.amazon.pobserve.runtime.values.PValue";
 
         /// <summary>
         /// The fully-qualified class name of the Java P runtime's PEvent class.
         /// </summary>
-        internal static readonly string EventsClass = "prt.events.PEvent";
+        internal static readonly string EventsClass = "com.amazon.pobserve.runtime.events.PEvent";
 
         #endregion
 

Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs

@@ -76,7 +76,7 @@ private void WriteMonitorDecl()
         {
             var cname = Names.GetNameForDecl(_currentMachine);
 
-            WriteLine($"public static class {cname} extends prt.Monitor<{cname}.{Constants.StateEnumName}> implements Serializable {{");
+            WriteLine($"public static class {cname} extends com.amazon.pobserve.runtime.Monitor<{cname}.{Constants.StateEnumName}> implements Serializable {{");
 
             WriteLine();
             WriteSupplierCDef(cname);
@@ -230,11 +230,11 @@ private void WriteFunctionSignature(Function f)
             var throwables = new List<string>();
             if (f.CanChangeState)
             {
-                throwables.Add("prt.exceptions.TransitionException");
+                throwables.Add("com.amazon.pobserve.runtime.exceptions.TransitionException");
             }
             if (f.CanRaiseEvent)
             {
-                throwables.Add("prt.exceptions.RaiseEventException");
+                throwables.Add("com.amazon.pobserve.runtime.exceptions.RaiseEventException");
             }
             if (throwables.Count > 0)
             {
@@ -284,9 +284,9 @@ private void WriteEventsAccessor()
         private void WriteStateBuilderDecl(State s, bool isConstructor)
         {
             if (isConstructor) {
-                WriteLine($"addState(prt.State.keyedOn({Names.IdentForState(s)})");
+                WriteLine($"addState(com.amazon.pobserve.runtime.State.keyedOn({Names.IdentForState(s)})");
             } else {
-                WriteLine($"registerState(prt.State.keyedOn({Names.IdentForState(s)})");
+                WriteLine($"registerState(com.amazon.pobserve.runtime.State.keyedOn({Names.IdentForState(s)})");
             }
 
             if (s.IsStart)