cafeobj - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

cafeobj - ബീജഗണിത സ്പെസിഫിക്കേഷനും പ്രോഗ്രാമിംഗ് ഭാഷയും

സിനോപ്സിസ്

cafeobj [ഓപ്ഷൻ]... [ഫയലുകൾ]...

വിവരണം

ആരംഭിക്കുന്നു കഫേOBJ വ്യാഖ്യാതാവ്.

കഫേOBJ വളരെ വിപുലമായ ഒരു ഔപചാരിക സ്പെസിഫിക്കേഷൻ ഭാഷയാണ്, അത് പല വികസിതവും പാരമ്പര്യമായി ലഭിക്കുന്നു
സവിശേഷതകൾ (ഉദാ. ഫ്ലെക്സിബിൾ മിക്സ്-ഫിക്സ് സിന്റാക്സ്, ഓർഡർ ചെയ്തിട്ടുള്ള ശക്തവും വ്യക്തവുമായ ടൈപ്പിംഗ് സിസ്റ്റം
പാരാമീറ്ററുകൾ തൽക്ഷണം ചെയ്യുന്നതിനുള്ള തരം, പാരാമീറ്റർ മൊഡ്യൂളുകൾ, കാഴ്ചകൾ, മൊഡ്യൂൾ
പദപ്രയോഗങ്ങൾ മുതലായവ) OBJ (അല്ലെങ്കിൽ കൂടുതൽ കൃത്യമായി OBJ3) ബീജഗണിത സ്പെസിഫിക്കേഷൻ ഭാഷയിൽ നിന്ന്.

മോഡലുകളുടെ ഔപചാരികമായ (അതായത് ഗണിതശാസ്ത്രപരമായ) സവിശേഷതകൾ എഴുതുന്നതിനുള്ള ഒരു ഭാഷയാണ് CafeOBJ
വിവിധ തരത്തിലുള്ള സോഫ്റ്റ്‌വെയറുകളും സിസ്റ്റങ്ങളും, അവയുടെ പ്രോപ്പർട്ടികൾ പരിശോധിക്കുന്നതും. കഫേOBJ
റീറൈറ്റിംഗ് വഴി സമവാക്യ യുക്തി നടപ്പിലാക്കുകയും ശക്തമായ ഒരു സംവേദനാത്മക സിദ്ധാന്തമായി ഉപയോഗിക്കുകയും ചെയ്യുന്നു
തെളിയിക്കുന്ന സംവിധാനം. സ്‌പെസിഫയറുകൾക്ക് CafeOBJ-ൽ പ്രൂഫ് സ്‌കോറുകൾ എഴുതാനും പ്രൂഫ് ചെയ്യാനും കഴിയും
തെളിവ് സ്കോറുകൾ നടപ്പിലാക്കുന്നു.

CafeOBJ-ന് സ്ഥാപനങ്ങളെ അടിസ്ഥാനമാക്കി അത്യാധുനിക കർക്കശമായ ലോജിക്കൽ സെമാന്റിക്സ് ഉണ്ട്. കഫേOBJ
ക്യൂബ് വിവിധ ലോജിക്കുകളുടെ ഘടന കാണിക്കുന്നു
ഭാഷ നടപ്പിലാക്കിയ മാതൃകകൾ. CafeOBJ-യിലെ പ്രൂഫ് സ്കോറുകളും അടിസ്ഥാനമാക്കിയുള്ളതാണ്
സ്ഥാപനത്തെ അടിസ്ഥാനമാക്കിയുള്ള കർശനമായ സെമാന്റിക്സ്, കൂടാതെ ഒരു പൂർണ്ണമായ തെളിവ് ഉപയോഗിച്ച് നിർമ്മിക്കാൻ കഴിയും
നിയമങ്ങൾ.

ഓപ്ഷനുകൾ

രണ്ട് തരം ഓപ്ഷനുകൾ ഉണ്ട്. ആദ്യത്തേത് അതിനുള്ള ഓപ്ഷനുകളാണ് cafeobj റാപ്പർ സ്ക്രിപ്റ്റ്
അണ്ടർലയിങ്ങ് കോമൺ ലിസ്പ് ഇന്റർപ്രെട്ടർ തിരഞ്ഞെടുക്കാനും തിരയൽ പാത ക്രമീകരിക്കാനും ഇത് അനുവദിക്കുന്നു
പാരാമീറ്ററുകൾ.

-എഞ്ചിൻ NAME
അടിസ്ഥാന ലിസ്പ് എഞ്ചിൻ തിരഞ്ഞെടുക്കുന്നു. നൽകിയില്ലെങ്കിൽ, ആദ്യത്തേത് തിരഞ്ഞെടുത്തു
നിർമ്മാണ സമയത്ത് സമയം ഉപയോഗിക്കുന്നു.

- ലിസ്റ്റ്-എഞ്ചിനുകൾ
ലഭ്യമായ എല്ലാ കോമൺ ലിസ്‌പ് എഞ്ചിനുകളും ലിസ്റ്റുചെയ്യുന്നു

-റാപ്പർ-ലിബ്പാത്ത് PATH
ലിസ്പ് ഇന്റർപ്രെറ്ററുകളുടെ മെമ്മറി ഡംപുകൾ കണ്ടെത്തുന്ന പാത സജ്ജമാക്കുന്നു

-റാപ്പർ-ഷെയർപാത്ത് PATH
CafeOBJ ഇനീഷ്യലൈസേഷൻ ഫയലുകൾ തിരയുന്ന പാത സജ്ജമാക്കുന്നു

ഇനിപ്പറയുന്ന സെറ്റ് ഓപ്‌ഷനുകൾ നേരിട്ട് CafeOBJ ഇന്റർപ്രെറ്ററിലേക്ക് നയിക്കപ്പെടുന്നു:

-ഹെൽപ്പ് ഒരു സഹായ സന്ദേശം അച്ചടിക്കുക

-q ഉപയോക്താവിന്റെ ഇനീഷ്യലൈസേഷൻ ഫയൽ ലോഡ് ചെയ്യരുത്

-ബാച്ച് ബാച്ച് മോഡിൽ പ്രവർത്തിപ്പിക്കുക

-p PATH
മൊഡ്യൂളുകൾ നിർവചിക്കുന്ന സ്റ്റാൻഡേർഡ് പ്രെല്യൂഡ് ഫയൽ നൽകുന്നു

+p PATH
അധിക പ്രിലൂഡ് ഫയൽ ലോഡ് ചെയ്യുക

-l DIR-ലിസ്റ്റ്
കോളണുകളാൽ വേർതിരിച്ച മൊഡ്യൂൾ സെർച്ച് പാത്തിനായുള്ള പാത്ത് നെയിമുകളുടെ ലിസ്റ്റ് സജ്ജമാക്കുക

+l DIR-ലിസ്റ്റ്
മൊഡ്യൂൾ സെർച്ച് പാത്തിന് പാത്ത് നെയിമിന്റെ ഒരു ലിസ്റ്റ് ചേർക്കുന്നു

ഫയലുകൾ സ്റ്റാർട്ടപ്പ് സമയത്ത് ക്രമത്തിൽ ലോഡ് ചെയ്ത ഫയലുകൾ.

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് cafeobj ഓൺലൈനായി ഉപയോഗിക്കുക