Package jflex
Class Skeleton
java.lang.Object
jflex.Skeleton
This class stores the skeleton of generated scanners.
The skeleton consists of several parts that can be emitted to a file. Usually there is a portion of generated code (produced in class Emitter) between every two parts of skeleton code.
There is a static part (the skeleton code) and state based iterator part to this class. The
iterator part is used to emit consecutive skeleton sections to some PrintWriter.
- Version:
- JFlex 1.7.0
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final Stringlocation of default skeletonstatic String[]The skeletonprivate static final Stringplatform specific newlineprivate PrintWriterThe writer to write the skeleton-parts toprivate intThe current part of the skeleton (an index of nextStop[])private static final intexpected number of sections in the skeleton file -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidemitNext()Emits the next part of the skeletonstatic voidMake the skeleton private.static void(Re)load the default skeleton.static voidreadSkel(BufferedReader reader) Reads an external skeleton file from a BufferedReader.static voidreadSkelFile(File skeletonFile) Reads an external skeleton file for later use with this class.static StringReplaces a with b in c.
-
Field Details
-
DEFAULT_LOC
location of default skeleton- See Also:
-
size
private static final int sizeexpected number of sections in the skeleton file- See Also:
-
NL
platform specific newline -
line
The skeleton -
pos
private int posThe current part of the skeleton (an index of nextStop[]) -
out
The writer to write the skeleton-parts to
-
-
Constructor Details
-
Skeleton
Creates a new skeleton (iterator) instance.- Parameters:
out- the writer to write the skeleton-parts to
-
-
Method Details
-
emitNext
public void emitNext()Emits the next part of the skeleton -
makePrivate
public static void makePrivate()Make the skeleton private.Replaces all occurrences of " public " in the skeleton with " private ".
-
readSkelFile
Reads an external skeleton file for later use with this class.- Parameters:
skeletonFile- the file to read (must be != null and readable)
-
readSkel
Reads an external skeleton file from a BufferedReader.- Parameters:
reader- the reader to read from (must be != null)- Throws:
IOException- if an IO error occursGeneratorException- if the number of skeleton sections does not match
-
replace
Replaces a with b in c.- Parameters:
a- the String to be replacedb- the replacementc- the String in which to replace a by b- Returns:
- a String object with a replaced by b in c
-
readDefault
public static void readDefault()(Re)load the default skeleton. Looks in the current system class path.
-