/*
 * Copyright (c) 2012, 2013 Mateusz Parzonka
 * 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.indexing.staticdata;

import java.util.Arrays;

public class MaxData {

    private final int[] nodeMask;
    private final int[] diffMask;
    private final int[][] disableMasks;

    public MaxData(int[] nodeMask, int[] diffMask, int[][] disableMasks) {
	super();
	this.nodeMask = nodeMask;
	this.diffMask = diffMask;
	this.disableMasks = disableMasks;
    }

    public int[] getNodeMask() {
	return nodeMask;
    }

    public int[] getDiffMask() {
	return diffMask;
    }

    public int[][] getDisableMasks() {
	return disableMasks;
    }

    /*
     * (non-Javadoc)
     * 
     * @see java.lang.Object#toString()
     */
    @Override
    public String toString() {
	StringBuilder disableMasksString = new StringBuilder("[");
	for (int[] disableMask : disableMasks) {
	    disableMasksString.append(Arrays.toString(disableMask));
	    disableMasksString.append(" ");
	}
	disableMasksString.append("]");
	return "MaxData [nodeMask=" + Arrays.toString(nodeMask) + ", diffMask=" + Arrays.toString(diffMask)
		+ ", disableMasks=" + disableMasksString.toString() + "]";
    }

}

@@ -458,71 +458,341 @@
     
-private final int%5B%5D nodeMask;%0A    private final int%5B%5D diffMask;
+/**%0A     * Identifies the node which is checked for a defined monitor to derive its state from.%0A     */%0A    private final int%5B%5D nodeMask;%0A    /**%0A     * The set of theta'' in the first line of the defineTo method of algorithm D. The parameter sets identify instances%0A     * which will be checked if they have (dead) monitors.%0A     */
 %0A   
@@ -945,35 +945,8 @@
 sk;%0A
-%09this.diffMask = diffMask;%0A
 %09thi
@@ -1045,66 +1045,8 @@
  %7D%0A%0A
-    public int%5B%5D getDiffMask() %7B%0A%09return diffMask;%0A    %7D%0A%0A
     
@@ -1113,92 +1113,8 @@
  %7D%0A%0A
-    /*%0A     * (non-Javadoc)%0A     * %0A     * @see java.lang.Object#toString()%0A     */%0A
     
@@ -1456,54 +1456,8 @@
 + %22,
- diffMask=%22 + Arrays.toString(diffMask)%0A%09%09+ %22,
  dis
@@ -1499,17 +1499,19 @@
 String()
- 
+%0A%09%09
 + %22%5D%22;%0A 

Refactor MaxData