Package org.projog.core.predicate.builtin.io

Class Writef.Formatter

  • Enclosing class:
    Writef
    private static class Writef.Formatter
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) int argIdx  
      (package private) java.util.List<Term> args  
      (package private) int charIdx  
      (package private) char[] chars  
      (package private) java.lang.StringBuilder output  
      (package private) TermFormatter termFormatter  

    • Constructor Summary

      Constructors 
      Constructor Description
      Formatter​(java.lang.String text, java.util.List<Term> args, TermFormatter termFormatter)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) java.lang.String format​(Term t)  
      (package private) boolean hasMore()  
      (package private) Term nextArg()  
      (package private) int peek()  
      (package private) int pop()  
      void rewind()  
      (package private) void writeChar​(int c)  
      (package private) void writeString​(java.lang.String s)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • output

        final java.lang.StringBuilder output

      • chars

        final char[] chars

      • args

        final java.util.List<Term> args

      • charIdx

        int charIdx

      • argIdx

        int argIdx

    • Constructor Detail

      • Formatter

        Formatter​(java.lang.String text,
          java.util.List<Term> args,
          TermFormatter termFormatter)

    • Method Detail

      • rewind

        public void rewind()

      • nextArg

        Term nextArg()

      • format

        java.lang.String format​(Term t)

      • peek

        int peek()

      • pop

        int pop()

      • hasMore

        boolean hasMore()

      • writeChar

        void writeChar​(int c)

      • writeString

        void writeString​(java.lang.String s)