162 lines
6.7 KiB
Plaintext
162 lines
6.7 KiB
Plaintext
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
1 Unifikation: [(AB <. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@9 in Assumption.jav, (AC =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: true, IT: false)@9 in Assumption.jav, (de.dhbwstuttgart.syntaxtree.TypeScope <. AG, , -1 WC: false, IT: false)@13 in Assumption.jav, (de.dhbwstuttgart.syntaxtree.TypeScope =. de.dhbwstuttgart.syntaxtree.TypeScope, )@13 in Assumption.jav, (java.lang.Object =. java.lang.Object, ), (AH =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@13 in Assumption.jav, (void <. Z, , 0 WC: true, IT: false)@0 in Assumption.jav, (AA <. AC, 1 WC: false, IT: false, 1 WC: true, IT: false)@9 in Assumption.jav, (AB =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@9 in Assumption.jav, (AH <. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@13 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
1 Oderconstraints: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
ocurrPairs: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
ocurrPairs: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
ocurrPairs: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
1 Unifikation nach applyTypeUnificationRules: [(AB <. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@9 in Assumption.jav, (AC =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: true, IT: false)@9 in Assumption.jav, (de.dhbwstuttgart.syntaxtree.TypeScope <. AG, , -1 WC: false, IT: false)@13 in Assumption.jav, (de.dhbwstuttgart.syntaxtree.TypeScope =. de.dhbwstuttgart.syntaxtree.TypeScope, )@13 in Assumption.jav, (java.lang.Object =. java.lang.Object, ), (AH =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@13 in Assumption.jav, (void <. Z, , 0 WC: true, IT: false)@0 in Assumption.jav, (AA <. AC, 1 WC: false, IT: false, 1 WC: true, IT: false)@9 in Assumption.jav, (AB =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@9 in Assumption.jav, (AH <. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@13 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
1 Oderconstraints nach applyTypeUnificationRules: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
eq2s: [(de.dhbwstuttgart.syntaxtree.TypeScope <. AG, , -1 WC: false, IT: false)@13 in Assumption.jav, (void <. Z, , 0 WC: true, IT: false)@0 in Assumption.jav, (AA <. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: false, IT: false)@9 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
eq2s: [(void <. Z, , 0 WC: true, IT: false)@0 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
eq2sAsListFst: [(de.dhbwstuttgart.syntaxtree.TypeScope <. AG, , -1 WC: false, IT: false)@13 in Assumption.jav, (AA <. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: false, IT: false)@9 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
eq2sAsListSnd: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
eq2sAsListBack: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
1 Oderconstraints2: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
optOrigPair: Optional[(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
nextSet: [[(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav], [(AG =. java.lang.Object, -1 WC: false, IT: false)@13 in Assumption.jav]]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
nextSetasList: [[(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav], [(AG =. java.lang.Object, -1 WC: false, IT: false)@13 in Assumption.jav]]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
Min: a in -1 [(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
nextSetasListOderConstraints -1: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
a1: 1 variance: -1 [(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav]
|
|
|
|
|
|
Thread no.:2
|
|
noOfThread:2
|
|
parallel:true
|
|
thNo2 2
|
|
|
|
Thread no.:1
|
|
noOfThread:2
|
|
parallel:true
|
|
a in -1 [(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:2
|
|
parallel:true
|
|
nextSetasListRest: []
|
|
|
|
Thread no.:1
|
|
noOfThread:2
|
|
parallel:true
|
|
wait 2
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
JoinOrig 2
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
RES Fst: result: [] res: [[(AC =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: true, IT: false)@9 in Assumption.jav, (AA =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: false, IT: false)@9 in Assumption.jav, (AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav, (AH =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@13 in Assumption.jav, (AB =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@9 in Assumption.jav, (Z =. void, 0 WC: true, IT: false)@0 in Assumption.jav]]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
a: 1 variance: -1[(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
aParDef: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
Removed: [[(AG =. java.lang.Object, -1 WC: false, IT: false)@13 in Assumption.jav], [(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav]]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
Not Removed: []
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
a: 1 variance: -1[(AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
res: [[(AC =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: true, IT: false)@9 in Assumption.jav, (AA =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: false, IT: false)@9 in Assumption.jav, (AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav, (AH =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@13 in Assumption.jav, (AB =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@9 in Assumption.jav, (Z =. void, 0 WC: true, IT: false)@0 in Assumption.jav]]
|
|
|
|
Thread no.:1
|
|
noOfThread:1
|
|
parallel:true
|
|
Return computeCR: [[(AC =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: true, IT: false)@9 in Assumption.jav, (AA =. de.dhbwstuttgart.syntaxtree.TypeScope, 1 WC: false, IT: false)@9 in Assumption.jav, (AG =. de.dhbwstuttgart.syntaxtree.TypeScope, -1 WC: false, IT: false)@13 in Assumption.jav, (AH =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@13 in Assumption.jav, (AB =. de.dhbwstuttgart.typeinference.assumptions.Assumption, 0 WC: true, IT: false)@9 in Assumption.jav, (Z =. void, 0 WC: true, IT: false)@0 in Assumption.jav]]
|
|
|