Esempio n. 1
0
        public static IPrtValue PrtCastValue(IPrtValue value, PrtType type)
        {
            //todo: Needs to be fixed for better error message

            /*if (!PrtInhabitsType(value, type))
             *  throw new PrtInhabitsTypeException(
             *      $"value {value.ToString()} is not a member of type {type.ToString()}");*/
            return(value.Clone());
        }
Esempio n. 2
0
 public PrtSetType(PrtType s)
 {
     elemType = s;
 }
Esempio n. 3
0
 public PrtMapType(PrtType k, PrtType v)
 {
     keyType = k;
     valType = v;
 }