/*
 * Copyright (c) 2012 Mateusz Parzonka, Eric Bodden
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 * Mateusz Parzonka - initial API and implementation
 */
package prm4j.logic;

import prm4j.indexing.treebased.MonitorSet;
import prm4j.indexing.treebased.Node;
import prm4j.indexing.treebased.NodeMap;

public class DefaultNodeContext<A> implements NodeContext<A>{

    @Override
    public ChainingData[] getChainingData() {
	// TODO Auto-generated method stub
	return null;
    }

    @Override
    public MonitorSet<A> createMonitorSet() {
	// TODO Auto-generated method stub
	return null;
    }

    @Override
    public Node<A> createNode() {
	// TODO Auto-generated method stub
	return null;
    }

    @Override
    public Node<A> createNode(int parameterId) {
	// TODO Auto-generated method stub
	return null;
    }

    @Override
    public NodeMap<A> createNodeMap() {
	// TODO Auto-generated method stub
	return null;
    }

}

@@ -580,16 +580,98 @@
 xt%3CA%3E%7B%0A%0A
+    private NodeContext%3CA%3E%5B%5D successors;%0A    private NodeFactory%3CA%3E nodeFactory;%0A%0A
     @Ove
@@ -949,55 +949,39 @@
  %7B%0A%09
-// TODO Auto-generated method stub%0A%09return null
+return nodeFactory.createNode()
 ;%0A  
@@ -1053,55 +1053,51 @@
  %7B%0A%09
-// TODO Auto-generated method stub%0A%09return null
+return successors%5BparameterId%5D.createNode()
 ;%0A  

Implement methods