Program menurut ocleditor.sf.net

Tujuan utama proyek ini adalah untuk membuat editor Eclipse untuk menentukan kontrak OCL. Bahasa OCL digunakan untuk menentukan pra-, pasca-kondisi dan invarian. Proyek ini juga berisi parser untuk memeriksa kebenaran sintaks