示例#1
0
        public override IType check(Context context)
        {
            context = context is ResourceContext ? context : context.newResourceContext();
            IType resourceType = resource.check(context);

            if (!(resourceType is ResourceType))
            {
                throw new SyntaxError("Not a resource!");
            }
            if (thenWith != null)
            {
                return(thenWith.check(context, TextType.Instance));
            }
            else
            {
                return(VoidType.Instance);
            }
        }
示例#2
0
 public override IType check(Context context)
 {
     base.check(context);
     return(thenWith.check(context, TextType.Instance));
 }
示例#3
0
 public override IType check(Context context)
 {
     base.check(context);
     return(thenWith.check(context, new CursorType(type)));
 }
示例#4
0
 public override IType check(runtime.Context context)
 {
     base.check(context);
     return(thenWith.check(context, type));
 }