hotspot/src/share/tools/IdealGraphVisualizer/Filter/src/com/sun/hotspot/igv/filter/CustomFilter.java
changeset 1497 cd3234c89e59
parent 766 d3e5868ddb33
child 1623 a0dd9009e992
equal deleted inserted replaced
1496:3fd9157e5e3c 1497:cd3234c89e59
    23  * have any questions.
    23  * have any questions.
    24  */
    24  */
    25 package com.sun.hotspot.igv.filter;
    25 package com.sun.hotspot.igv.filter;
    26 
    26 
    27 import com.sun.hotspot.igv.graph.Diagram;
    27 import com.sun.hotspot.igv.graph.Diagram;
    28 import com.sun.hotspot.igv.data.Property;
       
    29 import java.io.BufferedReader;
    28 import java.io.BufferedReader;
    30 import java.io.IOException;
    29 import java.io.IOException;
    31 import java.io.InputStream;
    30 import java.io.InputStream;
    32 import java.io.InputStreamReader;
    31 import java.io.InputStreamReader;
    33 import java.util.Collection;
    32 import java.util.Collection;
    54     private String name;
    53     private String name;
    55 
    54 
    56     public CustomFilter(String name, String code) {
    55     public CustomFilter(String name, String code) {
    57         this.name = name;
    56         this.name = name;
    58         this.code = code;
    57         this.code = code;
    59         getProperties().add(new Property("name", name));
    58         getProperties().setProperty("name", name);
    60     }
    59     }
    61 
    60 
    62     public String getName() {
    61     public String getName() {
    63         return name;
    62         return name;
    64     }
    63     }