Commit a952952d authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ additional debug operations for constraint implementation

parent b89251bf
Loading
Loading
Loading
Loading
+23 −0
Original line number Diff line number Diff line
@@ -21,6 +21,29 @@ operation Any debugPassthrough(hint: String) : Any {
    return self;
}

operation Any debugRM() : Boolean {
    (
    ""+self
    +"\n  "+self.reduction
    +"\n  "+self.resolveDataType()
    ).println();
    return true;
}

operation Any debugGT() : Boolean {
	//self.extension.extending.oclAsType(GateType).allDataTypes()->union(self.dataType)->asOrderedSet()
	

    (
    ""+self
    +"\n  "+self.kind
    +"\n  "+self.dataType
    +"\n  "+self.allDataTypes()
    ).println();
    return true;
}


operation Any debugExtensions() : Boolean {
    (
    ""+self