Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / derby-10.3.2.1 / java / engine / org / apache / derby / impl / store / raw / data / PageVersion.java

diff --git a/JMCR-Stable/real-world application/derby-10.3.2.1/java/engine/org/apache/derby/impl/store/raw/data/PageVersion.java b/JMCR-Stable/real-world application/derby-10.3.2.1/java/engine/org/apache/derby/impl/store/raw/data/PageVersion.java
new file mode 100644 (file)
index 0000000..9cb7bf8
--- /dev/null
+++ b/JMCR-Stable/real-world application/derby-10.3.2.1/java/engine/org/apache/derby/impl/store/raw/data/PageVersion.java
@@ -0,0 +1,61 @@
+/*\r
+\r
+   Derby - Class org.apache.derby.impl.store.raw.data.PageVersion\r
+\r
+   Licensed to the Apache Software Foundation (ASF) under one or more\r
+   contributor license agreements.  See the NOTICE file distributed with\r
+   this work for additional information regarding copyright ownership.\r
+   The ASF licenses this file to you under the Apache License, Version 2.0\r
+   (the "License"); you may not use this file except in compliance with\r
+   the License.  You may obtain a copy of the License at\r
+\r
+      http://www.apache.org/licenses/LICENSE-2.0\r
+\r
+   Unless required by applicable law or agreed to in writing, software\r
+   distributed under the License is distributed on an "AS IS" BASIS,\r
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\r
+   See the License for the specific language governing permissions and\r
+   limitations under the License.\r
+\r
+ */\r
+\r
+package org.apache.derby.impl.store.raw.data;\r
+\r
+import org.apache.derby.iapi.store.raw.PageTimeStamp;\r
+\r
+/**\r
+       A per page version number is one way to implement a page time stamp\r
+*/\r
+\r
+public class PageVersion implements PageTimeStamp\r
+{\r
+       private long pageNumber;\r
+       private long pageVersion;\r
+\r
+       public PageVersion(long number, long version)\r
+       {\r
+               pageNumber = number;\r
+               pageVersion = version;\r
+       }\r
+\r
+       public long getPageVersion()\r
+       {\r
+               return pageVersion;\r
+       }\r
+\r
+       public long getPageNumber()\r
+       {\r
+               return pageNumber;\r
+       }\r
+\r
+       public void setPageVersion(long pageVersion)\r
+       {\r
+               this.pageVersion = pageVersion;\r
+       }\r
+\r
+       public void setPageNumber(long pageNumber)\r
+       {\r
+               this.pageNumber = pageNumber;\r
+       }\r
+\r
+}\r