view src/plparser/ArrayProperty.java @ 6:563bcb96e4fa

pretty printer
author one
date Mon, 30 Aug 2010 12:35:23 +0900
parents 1f46c9d09c1e
children 1baccfe55597
line wrap: on
line source

package plparser;

import java.io.PrintStream;
import java.util.LinkedList;

public class ArrayProperty extends Property {
	LinkedList<Property> list;
	
	public ArrayProperty(LinkedList<Property> list1) {
		list = list1;
	}

	public String toString() {
		String s = "Array(" ;
		for(Property p:list) {
			s += p;
			s += ",";
		}
		s = s.substring(0, s.length()-1);
		s += ")";
		return s;
	}
	
	public void pp(PrintStream out, int indent, int flag) {
		indent(out, indent,flag); 
		out.print("Array(");
		flag = 0;
		for(int i = 0;i<list.size();i++) {
			list.get(i).pp(out,indent+indent_step,flag); flag = 1;
			if (i<list.size()-1) out.println(",");
			else {
				if (list.size()>1) indent(out,indent,1);
				out.print(")");
			}
		}
	}

}