Exemplos de Isabelle.IsaPrettyPrint.IsaPrettyPrinterHelper.CommaAggregate em C# (CSharp)

Exemplo n.º 1

        public override string VisitTermTuple(TermTuple t)
        {
            var res = VisitList(t.Terms);

            return(H.Parenthesis(H.CommaAggregate(res)));
        }

Exemplo n.º 2

        public override string VisitTermRecord(TermRecord t)
        {
            var res = t.Mapping.Select(tuple => tuple.Item1 + " = " + Visit(tuple.Item2));

            return("(|" + H.CommaAggregate(res.ToList()) + "|)");
        }

Exemplo n.º 3

        public override string VisitTermSet(TermSet t)
        {
            var rArgs = t.Elements.Select(Visit).ToList();

            return(H.CurlyBrackets(H.CommaAggregate(rArgs)));
        }

Exemplo n.º 4

        public override string VisitTermList(TermList t)
        {
            var rArgs = VisitList(t.List);

            return(H.Brackets(H.CommaAggregate(rArgs)));
        }