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

പട്ടിക:

NAME

cccheck - CLR അസംബ്ലികൾക്കായി സ്റ്റാറ്റിക് കോഡ് കരാറുകളുടെ പരിശോധന നടത്തുക.

സിനോപ്സിസ്

cc ചെക്ക് --അസംബ്ലി= [ഓപ്ഷനുകൾ]

വിവരണം

കോഡ് തമ്മിലുള്ള ബഗുകളും പൊരുത്തക്കേടുകളും കണ്ടെത്തുന്നതിന് സ്റ്റാറ്റിക് കോഡ് കരാറുകളുടെ പരിശോധന നടത്തുക
കൂടാതെ സ്പെസിഫിക്കേഷനും. ഇതിൽ നോൺ-നൾ, പൂർണ്ണസംഖ്യ വിശകലനങ്ങൾ ഉൾപ്പെടുന്നു.

CONTRACTS_FULL എന്ന ചിഹ്നം നിർവചിച്ചിട്ടായിരിക്കണം അസംബ്ലി നിർമ്മിച്ചിരിക്കുന്നത്, അല്ലാത്തപക്ഷം
കരാർ രീതികളിലേക്കുള്ള കോളുകൾ കംപൈലർ നീക്കം ചെയ്യും.

നിലവിൽ Contract.Assume() ഉം Contract.Assert() രീതികളും മാത്രമേ പിന്തുണയ്ക്കൂ. അല്ലാത്തത് മാത്രം
ശൂന്യമായ വിശകലനം പിന്തുണയ്ക്കുന്നു, തുടർച്ചയായ വിശകലനങ്ങൾ വികസിച്ചുകൊണ്ടിരിക്കുന്നു. ഒരു പിശക് സന്ദേശം
cccheck-ന് എല്ലാ അല്ലെങ്കിൽ ചില നിർദ്ദിഷ്ട രീതികളും പ്രോസസ്സ് ചെയ്യാൻ കഴിയുന്നില്ലെങ്കിൽ കാണിക്കും
അസംബ്ലി.

കോൺഫിഗറേഷൻ ഓപ്ഷനുകൾ

--അസംബ്ലി
സ്റ്റാറ്റിക് വെരിഫിക്കേഷൻ നടത്താനുള്ള അസംബ്ലി.

--ഡീബഗ്
അവകാശവാദങ്ങൾ തെളിയിക്കുന്ന പ്രക്രിയയെക്കുറിച്ചുള്ള ഡീബഗ് വിവരങ്ങൾ കാണിക്കുന്നു. ഇത് നാലെണ്ണം കാണിക്കുന്നു
അമൂർത്തതയുടെ പാളികൾ, അസംസ്‌കൃത പാളി, സ്റ്റാക്ക് പാളി, കൂമ്പാര പാളി, പകരം വയ്ക്കൽ
എക്സ്പ്രഷൻ ലെവൽ.

--രീതി=
രീതി കണ്ടെത്തുന്നതിനുള്ള സ്ട്രിംഗ്. രീതിയുടെ പേരുള്ള അസംബ്ലിയിലെ എല്ലാ രീതികളും ഇത് ഫിൽട്ടർ ചെയ്യുന്നു
ഈ പരാമീറ്റർ ഒരു സബ്‌സ്ട്രിംഗ് ആയി.

--സഹായിക്കൂ cccheck, ലിസ്‌റ്റിംഗ് കോൺഫിഗറേഷൻ ഓപ്ഷനുകൾക്കുള്ള സഹായം കാണിക്കുക.

ഉദാഹരണങ്ങൾ

നിങ്ങൾക്ക് ഒരു രീതി ഉണ്ടെന്ന് കരുതുക:
അസാധുവായ രീതി() {
ഒബ്ജക്റ്റ് x = null;
int y = 1;
എങ്കിൽ (y% 2 == 1)
x = പുതിയ വസ്തു();
മറ്റാരെങ്കിലും
x = പുതിയ സ്ട്രിംഗ്();

കരാർ.Assert(x != null); }

പരിശോധിച്ചുറപ്പിച്ചതിന് ശേഷം ടൂൾ ഇനിപ്പറയുന്ന ഫോർമാറ്റിൽ ഫലങ്ങൾ നൽകും: "അസെർഷൻ
at : [സബ്റൂട്ടീൻ: തടയുക പി.സി ] :
(ശരി|തെറ്റ്|തെളിയിക്കപ്പെടാത്തത്|എത്തിച്ചേരാനാകാത്തത്)". (PC ഒരു പ്രോഗ്രാം കൗണ്ടറാണ്)

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