+
+ @Override
+ public void dump(PrintWriter pw, int indent)
+ {
+ super.dump(pw, indent);
+ String tab = String.format("%" + (indent + 2) + "s", "");
+
+ pw.println(tab + NAME + "=" + m_name);
+ pw.println(tab + ROLE + "=" + m_role);
+ }
+
+ @Override
+ public boolean equals(Object obj)
+ {
+ if (null == obj) {
+ return false;
+ }
+ if (obj instanceof LocalVariable) {
+ LocalVariable that = (LocalVariable)obj;
+ return ( Util.objsAreEqual(this.m_name, that.m_name)
+ && Util.objsAreEqual(this.m_role, that.m_role) );
+ }
+ return false;
+ }
+
+ @Override
+ public int hashCode()
+ {
+ return ( (Util.objHashCode(m_name)) ^ (Util.objHashCode(m_role)) );
+ }