Skip to content

GitLab

O
Ocarina
Switch branch/tag
Find file Normal viewHistoryPermalink
test.aadl.out 1.71 KB
Newer Older
julien.delange's avatar
import polyorb-hi-ada, polyorb-hi-c and ocarina  
julien.delange committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 
test.aadl:20:04: ARINC653::Queueing_Discipline (property association) does not point to anything
test.aadl:20:34:  (property term) does not point to anything or to something unreachable
test.aadl:69:27:  (property term) does not point to anything or to something unreachable
test.aadl:70:28:  (property term) does not point to anything or to something unreachable
test.aadl:70:52:  (property term) does not point to anything or to something unreachable
test.aadl:87:27:  (property term) does not point to anything or to something unreachable
test.aadl:88:28:  (property term) does not point to anything or to something unreachable
test.aadl:88:52:  (property term) does not point to anything or to something unreachable
test.aadl:88:77:  (property term) does not point to anything or to something unreachable
test.aadl:88:102:  (property term) does not point to anything or to something unreachable
test.aadl:109:27:  (property term) does not point to anything or to something unreachable
test.aadl:110:28:  (property term) does not point to anything or to something unreachable
test.aadl:126:27:  (property term) does not point to anything or to something unreachable
test.aadl:127:28:  (property term) does not point to anything or to something unreachable
test.aadl:127:52:  (property term) does not point to anything or to something unreachable
test.aadl:127:77:  (property term) does not point to anything or to something unreachable
test.aadl:127:102:  (property term) does not point to anything or to something unreachable
test.aadl:136:44: ARINC653::Queueing_Discipline (property association) does not point to anything
test.aadl:136:74:  (property term) does not point to anything or to something unreachable
Cannot analyze AADL specifications