Class Writef.Formatter

java.lang.Object

org.projog.core.predicate.builtin.io.Writef.Formatter

Enclosing class:

Writef

private static class Writef.Formatter
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
Formatter(String text, List<Term> args, TermFormatter termFormatter)

Method Summary

Modifier and Type	Method	Description
(package private) 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(String s)

Methods inherited from class Object

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

Field Details

output

final StringBuilder output

chars

final char[] chars

args

final List<Term> args

termFormatter

final TermFormatter termFormatter

charIdx

int charIdx

argIdx

int argIdx

Constructor Details

Formatter

Formatter(String text,
 List<Term> args,
 TermFormatter termFormatter)

Method Details

rewind

public void rewind()

nextArg

Term nextArg()

format

String format(Term t)

peek

int peek()

pop

int pop()

hasMore

boolean hasMore()

writeChar

void writeChar(int c)

writeString

void writeString(String s)