/// <summary> /// Identifies whether all variables in this context are /// registered in the other context /// </summary> /// <param name="other"></param> /// <returns></returns> public bool IsSubsetOf(VariableContext other) { foreach (var variableName in _initMap.Keys) { if (!other.IsRegistered(variableName)) { return(false); } } return(true); }
private void ParseString(string s) { if (_ctx.IsRegistered(s)) { Output(_ctx.GetToken(s)); return; } SymbolToken token; var parsed = SymbolToken.TryParse(s, out token); var pos = _charsParsed - _recentWhitespace; var len = s.Length; _charsParsed += len; _recentWhitespace = 0; if (parsed) { Output(token.SetPosition(pos, len)); } else { throw new UnrecognizedTokenException(pos, len, s); } }