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);
}
}
public override IType check(Context context)
{
base.check(context);
return(thenWith.check(context, TextType.Instance));
}
public override IType check(Context context)
{
base.check(context);
return(thenWith.check(context, new CursorType(type)));
}
public override IType check(runtime.Context context)
{
base.check(context);
return(thenWith.check(context, type));
}