public override string ToString() { if (this.constant != "") { return this.srcAtt + " ---> " + this.destAtt + " using '" + this.constant + "'"; } else { return this.srcAtt + " ---> " + this.destAtt; } } }