1 /*******************************************************************************
2 * Copyright (c) 2014 École Polytechnique de Montréal
4 * All rights reserved. This program and the accompanying materials are
5 * made available under the terms of the Eclipse Public License v1.0 which
6 * accompanies this distribution, and is available at
7 * http://www.eclipse.org/legal/epl-v10.html
10 * Florian Wininger - Initial API and implementation
11 *******************************************************************************/
13 package org
.eclipse
.linuxtools
.internal
.statesystem
.core
.backend
.historytree
;
15 import java
.nio
.ByteBuffer
;
18 * A Leaf node is a last-level node of a History Tree.
20 * A leaf node cannot have children, so it extends HTNode without adding
21 * anything in particular.
23 * @author Florian Wininger
25 public final class LeafNode
extends HTNode
{
28 * Initial constructor. Use this to initialize a new EMPTY node.
31 * Configuration of the History Tree
33 * The (unique) sequence number assigned to this particular node
34 * @param parentSeqNumber
35 * The sequence number of this node's parent node
37 * The earliest timestamp stored in this node
39 public LeafNode(HTConfig config
, int seqNumber
, int parentSeqNumber
,
41 super(config
, seqNumber
, parentSeqNumber
, start
);
45 protected void readSpecificHeader(ByteBuffer buffer
) {
46 /* No specific header part */
50 protected void writeSpecificHeader(ByteBuffer buffer
) {
51 /* No specific header part */
55 public NodeType
getNodeType() {
60 protected int getSpecificHeaderSize() {
66 public String
toStringSpecific() {
67 /* Only used for debugging, shouldn't be externalized */
68 return "Leaf Node, "; //$NON-NLS-1$;
This page took 0.03251 seconds and 5 git commands to generate.