01: package javaparser;
02:
03: import java.util.*;
04: import tide.editor.UIConstants;
05:
06: public final class WarningNode extends MainNode {
07: final String warning;
08: public int gravity = 1;
09:
10: public WarningNode(String warning, int gravity) {
11: super ("", "W", UIConstants.red, true);
12: this .warning = warning;
13: this .gravity = gravity;
14: }
15:
16: @Override
17: public String toString() {
18: return warning;
19: }
20:
21: }
|