Package jflex.skeleton
Class Skeleton
java.lang.Object
jflex.skeleton.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.8.2
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final String
location of default skeletonstatic String[]
The skeletonprivate final PrintWriter
The writer to write the skeleton-parts toprivate int
The current part of the skeleton (an index of nextStop[])private static final int
expected number of sections in the skeleton file -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
emitNext()
Emits the next part of the skeletonstatic void
Make the skeleton private.static void
(Re)load the default skeleton.static void
readSkel
(BufferedReader reader) Reads an external skeleton file from a BufferedReader.static void
readSkelFile
(File skeletonFile) Reads an external skeleton file for later use with this class.static String
Replaces 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:
-
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.
-