C# (CSharp) DisplayExpression 예제들

예제 #1

 private static bool ShallowEq(DisplayExpression expr1, DisplayExpression expr2)
 {
     if (expr1 is SeqDisplayExpr && expr2 is SeqDisplayExpr)
     {
         return(ShallowEq((SeqDisplayExpr)expr1, (SeqDisplayExpr)expr2));
     }
     else if (expr1 is MultiSetDisplayExpr && expr2 is MultiSetDisplayExpr)
     {
         return(ShallowEq((MultiSetDisplayExpr)expr1, (MultiSetDisplayExpr)expr2));
     }
     else if (expr1 is SetDisplayExpr && expr2 is SetDisplayExpr)
     {
         return(ShallowEq((SetDisplayExpr)expr1, (SetDisplayExpr)expr2));
     }
     else
     {
         return(false);
     }
 }

예제 #2

파일: SyntaxTreeVisitor.cs 프로젝트: danielhe2000/language-server-csharp

 public virtual void Visit(DisplayExpression displayExpression)
 {
 }

예제 #3

파일: LanguageServerVisitorBase.cs 프로젝트: just-me-/dafny-language-server

 public override void Leave(DisplayExpression o)
 {
 }

예제 #4

파일: LanguageServerVisitorBase.cs 프로젝트: just-me-/dafny-language-server

 public override void Visit(DisplayExpression o)
 {
 }

예제 #5

파일: Interpreter.cs 프로젝트: ggrov/tacny

 public static IEnumerable<IList<Expression>> ResolveDisplayExpression(ProofState state, DisplayExpression list) {
   Contract.Requires<ArgumentNullException>(state != null, "state");
   Contract.Requires<ArgumentNullException>(list != null, "list");
   Contract.Ensures(Contract.Result<IEnumerable<IList<Expression>>>() != null);
   var dict = list.Elements.ToDictionary(element => element, element => EvaluateTacnyExpression(state, element));
   return GenerateList(dict, null);
 }

예제 #6

        public static IEnumerable <IList <Expression> > ResolveDisplayExpression(ProofState state, DisplayExpression list)
        {
            Contract.Requires <ArgumentNullException>(state != null, "state");
            Contract.Requires <ArgumentNullException>(list != null, "list");
            Contract.Ensures(Contract.Result <IEnumerable <IList <Expression> > >() != null);
            var dict = list.Elements.ToDictionary(element => element, element => EvaluateTacnyExpression(state, element));

            return(GenerateList(dict, null));
        }