annotate src/plparser/Property.java @ 6:563bcb96e4fa

pretty printer
author one
date Mon, 30 Aug 2010 12:35:23 +0900
parents b149a5aa465a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
b0dee5b76b12 Scanner worked.
kono@ie.u-ryukyu.ac.jp
parents:
diff changeset
1 package plparser;
b0dee5b76b12 Scanner worked.
kono@ie.u-ryukyu.ac.jp
parents:
diff changeset
2
6
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
3 import java.io.PrintStream;
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
4
0
b0dee5b76b12 Scanner worked.
kono@ie.u-ryukyu.ac.jp
parents:
diff changeset
5 public class Property {
b0dee5b76b12 Scanner worked.
kono@ie.u-ryukyu.ac.jp
parents:
diff changeset
6 String name;
6
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
7 public static int indent_step = 4;
1
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
8
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
9 public Property() {
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
10
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
11 }
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
12
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
13 public Property(String name2) {
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
14 name = name2;
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
15 }
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
16
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
17 public String toString() {
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
18 return name;
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
19 }
b149a5aa465a Parser is written
kono@ie.u-ryukyu.ac.jp
parents: 0
diff changeset
20
6
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
21 public void indent(PrintStream out, int indent,int flag) {
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
22 if (flag==0) return;
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
23 for(int i=0;i<indent;i++)
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
24 out.print(' ');
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
25 }
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
26
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
27 public void pp(PrintStream out, int i,int flag) {
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
28 indent(out,i,flag);
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
29 out.print(toString());
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
30 }
563bcb96e4fa pretty printer
one
parents: 1
diff changeset
31
0
b0dee5b76b12 Scanner worked.
kono@ie.u-ryukyu.ac.jp
parents:
diff changeset
32 }