From 33613a85afc4b1481367fbe92a17ee59c240250b Mon Sep 17 00:00:00 2001 From: Sven Eisenhauer Date: Fri, 10 Nov 2023 15:11:48 +0100 Subject: add new repo --- .../hjp5/examples/FilePrintHelper.java | 52 ++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 Master/Reference Architectures and Patterns/hjp5/examples/FilePrintHelper.java (limited to 'Master/Reference Architectures and Patterns/hjp5/examples/FilePrintHelper.java') diff --git a/Master/Reference Architectures and Patterns/hjp5/examples/FilePrintHelper.java b/Master/Reference Architectures and Patterns/hjp5/examples/FilePrintHelper.java new file mode 100644 index 0000000..e93ee46 --- /dev/null +++ b/Master/Reference Architectures and Patterns/hjp5/examples/FilePrintHelper.java @@ -0,0 +1,52 @@ +/* FilePrintHelper.java */ + +import java.util.*; + +public class FilePrintHelper +{ + //---Membervariablen---------------------------------- + Vector pageinfo; + + //---Konstruktor-------------------------------------- + public FilePrintHelper() + { + pageinfo = new Vector(); + } + + //---Seitendefinition und -abfrage-------------------- + public void createPage(int page) + { + for (int i = pageinfo.size(); i <= page; ++i) { + pageinfo.addElement(new Entry()); + } + } + + public boolean knownPage(int page) + { + return page < pageinfo.size(); + } + + //---Verwaltung der Offsets--------------------------- + public long getFileOffset(int page) + { + Entry entry = (Entry)pageinfo.elementAt(page); + return entry.fileoffset; + } + + public void setFileOffset(int page, long fileoffset) + { + Entry entry = (Entry)pageinfo.elementAt(page); + entry.fileoffset = fileoffset; + } + + //---Lokale Klasse Entry------------------------------ + static class Entry + { + public long fileoffset; + + public Entry() + { + this.fileoffset = -1; + } + } +} \ No newline at end of file -- cgit v1.2.3