Changeset 1402 for trunk/src/org/expeditee/io

Timestamp:

06/04/19 14:29:49 (5 years ago)

Author:

bln4

Message:

Permission is now a triple rather than a pair. The new second bit is not yet used but will be used for group level permissions.

gazumpts

File:

• trunk/src/org/expeditee/io/DefaultFrameReader.java (modified) (2 diffs)

trunk/src/org/expeditee/io/DefaultFrameReader.java

@@ -41 +41 @@
 import org.expeditee.items.Justification;
 import org.expeditee.items.Line;
-import org.expeditee.items.PermissionPair;
+import org.expeditee.items.PermissionTriple;
 import org.expeditee.items.Text;
 
@@ -69 +69 @@
         protected static Class[] pItem = { Item.class };
         protected static Class[] pJustification = { Justification.class };
-        protected static Class[] pPermission = { PermissionPair.class };
+        protected static Class[] pPermission = { PermissionTriple.class };
         protected static Class[] pDotType = { DotType.class };
         protected static Class[] pEncPermission = { EncryptionPermissionTriple.class };