Example #1
0
 public ResExp(
     SourceRange range,
     IResTypeExp type)
 {
     _range = range;
     _type  = type;
 }
Example #2
0
 public ResIntervalKind(
     IResTypeExp lowerBound,
     IResTypeExp upperBound)
 {
     _lowerBound = lowerBound;
     _upperBound = upperBound;
 }
Example #3
0
 public ResVarSpec(
     IResVarDecl decl,
     IResTypeExp type)
 {
     _decl = decl;
     _type = type;
 }
Example #4
0
 public ResExp(
     SourceRange range,
     IResTypeExp type)
 {
     _range = range;
     _type = type;
 }
 public ResVarDecl(
     SourceRange range,
     Identifier name,
     IResTypeExp type,
     ResVarFlags flags = ResVarFlags.None)
     : this(range, name, Lazy.Value(type), flags)
 {
 }
 public ResVarRef(
     SourceRange range,
     IResVarDecl varDecl,
     IResTypeExp type)
     : base(range, type)
 {
     _varDecl = varDecl;
 }
Example #7
0
 public ResVarRef(
     SourceRange range,
     IResVarDecl varDecl,
     IResTypeExp type)
     : base(range, type)
 {
     _varDecl = varDecl;
 }
Example #8
0
 public ResVarDecl(
     SourceRange range,
     Identifier name,
     IResTypeExp type,
     ResVarFlags flags = ResVarFlags.None)
     : this(range, name, Lazy.Value(type), flags)
 {
 }
Example #9
0
 public ResLabel(
     SourceRange range,
     Identifier name,
     IResTypeExp type)
 {
     _range = range;
     _name  = name;
     _type  = type;
 }
Example #10
0
 public ResFieldRef(
     SourceRange range,
     ResFieldDecl decl,
     IResMemberTerm memberTerm,
     IResTypeExp type)
     : base(range, decl, memberTerm)
 {
     _type = type;
 }
 public ResLabel(
     SourceRange range,
     Identifier name,
     IResTypeExp type)
 {
     _range = range;
     _name = name;
     _type = type;
 }
 public ResAttributeFetch(
     SourceRange range,
     IResTypeExp type,
     IResExp obj,
     IResExp attribute)
     : base(range, type)
 {
     _obj = obj;
     _attribute = attribute;
 }
 public ResMethodApp(
     SourceRange range,
     IResTypeExp type,
     IResMethodRef method,
     IEnumerable<IResExp> args)
     : base(range, type)
 {
     _method = method;
     _args = args.ToArray();
 }
Example #14
0
 public ResAttributeFetch(
     SourceRange range,
     IResTypeExp type,
     IResExp obj,
     IResExp attribute)
     : base(range, type)
 {
     _obj       = obj;
     _attribute = attribute;
 }
Example #15
0
 public ResMethodApp(
     SourceRange range,
     IResTypeExp type,
     IResMethodRef method,
     IEnumerable <IResExp> args)
     : base(range, type)
 {
     _method = method;
     _args   = args.ToArray();
 }
Example #16
0
 public ResElementCtorApp(
     SourceRange range,
     IResTypeExp type,
     IResElementRef element,
     IEnumerable <ResElementCtorArg> args)
     : base(range, type)
 {
     _element = element;
     _args    = args.ToArray();
 }
Example #17
0
        private MidElementDecl GetFreq(IResTypeExp type, MidEmitEnv env)
        {
            if (type is ResFreqQualType)
            {
                var fqType      = (ResFreqQualType)type;
                var elementType = (MidElementType)EmitTypeExp(fqType.Freq, env);
                return(elementType.Decl);
            }

            return(null);
        }
Example #18
0
File: ResEnv.cs Project: kzyg/spark
 public ResEnv NestBaseAttributeType(IResTypeExp type)
 {
     return(new ResEnv(
                _context,
                _diagnostics,
                _scope,
                _score,
                _implicitFreq,
                _disableConversions,
                type));
 }
Example #19
0
        public ResFreqQualType(
            SourceRange range,
            IResElementRef freq,
            IResTypeExp type)
        {
            if (freq == null)
            {
                throw new ArgumentNullException("freq");
            }

            _range = range;
            _freq  = freq;
            _type  = type;
        }
Example #20
0
File: ResEnv.cs Project: kzyg/spark
 public ResEnv(
     ResolveContext context,
     IDiagnosticsSink diagnostics,
     IResScope scope,
     Cell <ResOverloadScore> score,
     IResElementRef implicitFreq,
     bool disableConversions,
     IResTypeExp baseAttributeType)
 {
     _context            = context;
     _diagnostics        = diagnostics;
     _scope              = scope;
     _score              = score;
     _implicitFreq       = implicitFreq;
     _disableConversions = disableConversions;
     _baseAttributeType  = baseAttributeType;
 }
Example #21
0
 public ResVarSpec(
     IResVarDecl decl,
     IResTypeExp type )
 {
     _decl = decl;
     _type = type;
 }
Example #22
0
 public ResBaseExp(
     SourceRange range,
     IResTypeExp type)
     : base(range, type)
 {
 }
Example #23
0
 public ResLit(
     SourceRange range,
     IResTypeExp type)
     : base(range, type)
 {
 }
Example #24
0
 public ResIntervalKind(
     IResTypeExp upperBound)
     : this(new ResBottomType(), upperBound)
 {
 }
Example #25
0
 private MidType EmitTypeExp(IResTypeExp resType, MidEmitEnv env)
 {
     return(EmitTypeExpImpl((dynamic)resType, env));
 }
Example #26
0
 public ResGenericTypeArg(
     IResTypeExp type)
 {
     _type = type;
 }