adactl - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

adactl - ຕົວຄວບຄຸມກົດລະບຽບ Ada

ສະຫຼຸບສັງລວມ

adactl [ທາງເລືອກໃນການ] ຫນ່ວຍບໍລິການ[+|-ຫນ່ວຍບໍລິການ]|[@]ເອກະສານ ... [-- ASIS_options]

adactl -ຊ [ກົດລະບຽບ id... | ທັງໝົດ | ຄໍາສັ່ງ | ໃບ​ອະ​ນຸ​ຍາດ | ລາຍການ | ທາງເລືອກ | ກົດລະບຽບ | ສະບັບ]

ລາຍລະອຽດ

AdaControl ເປັນຕົວຄວບຄຸມກົດລະບຽບ Ada. ມັນຖືກນໍາໃຊ້ເພື່ອຄວບຄຸມວ່າຊອບແວ Ada ຕອບສະຫນອງກັບ
ຂໍ້ກໍານົດຂອງກົດລະບຽບທີ່ສາມາດກໍານົດໄດ້. ມັນບໍ່ໄດ້ມີຈຸດປະສົງເພື່ອເສີມການກວດສອບ
ເຮັດໂດຍ compiler, ແຕ່ແທນທີ່ຈະຊອກຫາການລະເມີດໂດຍສະເພາະຂອງການປະຕິບັດທີ່ດີ
ກົດ​ລະ​ບຽບ​, ຫຼື​ເພື່ອ​ກວດ​ກາ​ເບິ່ງ​ວ່າ​ບາງ​ກົດ​ລະ​ບຽບ​ແມ່ນ​ເຊື່ອ​ຟັງ​ໂຄງ​ການ​ທັງ​ຫມົດ​.

ການສະຫນັບສະຫນູນທາງດ້ານການຄ້າແມ່ນມີຢູ່ສໍາລັບ AdaControl, ເບິ່ງໄຟລ໌
/usr/share/doc/adacontrol/support.txt. ຖ້າທ່ານວາງແຜນທີ່ຈະໃຊ້ AdaControl ສໍາລັບອຸດສາຫະກໍາ
ໂຄງ​ການ​, ຫຼື​ຖ້າ​ຫາກ​ວ່າ​ທ່ານ​ຕ້ອງ​ການ​ທີ່​ຈະ​ປັບ​ແຕ່ງ​ຫຼື​ຂະ​ຫຍາຍ​ໃຫ້​ເຫມາະ​ສົມ​ກັບ​ຄວາມ​ຕ້ອງ​ການ​ຂອງ​ທ່ານ​ເອງ​, ກະ​ລຸ​ນາ​
ຕິດຕໍ່ Adalog ທີ່ [email protected].

ພິເສດ ຮູບແບບ

-C ກວດເບິ່ງ syntax ກົດລະບຽບເທົ່ານັ້ນ. ຍອມຮັບ -d, -f, -l, -v, -x.

-D ສ້າງຄວາມເພິ່ງພາອາໄສ. ຍອມຮັບ -o, -p, -r, -s, -w, -x.

-h ພິມຂໍ້ຄວາມຊ່ວຍເຫຼືອທົ່ວໄປ.

-h ກົດລະບຽບ
ອະທິບາຍ ກົດລະບຽບ.

-h ທັງຫມົດ ອະທິບາຍກົດລະບຽບທັງໝົດ.

-h ຄໍາສັ່ງ|ໃບອະນຸຍາດ|ຕົວເລືອກ|ຮຸ່ນ
ອະທິບາຍຄໍາສັ່ງທັງຫມົດ, ໃບອະນຸຍາດ (GPL), ທາງເລືອກຫຼືຈໍານວນສະບັບ.

-h ບັນຊີລາຍຊື່
ບອກກົດລະບຽບໃນຮູບແບບທີ່ເຫມາະສົມສໍາລັບການນໍາໃຊ້ພາຍໃນ GNAT Programming Studio.

-h ກົດລະບຽບ
ບອກກົດລະບຽບໃນຮູບແບບປົກກະຕິ.

-I ໂໝດໂຕ້ຕອບ. ຍອມຮັບທາງເລືອກທັງໝົດ.

OPTIONS

-d ເປີດໃຊ້ໂໝດດີບັກ.

-e ປະຕິບັດການເຕືອນໄພ (ຄົ້ນຫາ) ເປັນຄວາມຜິດພາດ (ກວດສອບ)

-E ພິມຂໍ້ຜິດພາດເທົ່ານັ້ນ (ກວດເບິ່ງ).

-f ເອກະສານ
ການນໍາໃຊ້ ເອກະສານ ສໍາລັບຂໍ້ກໍານົດຂອງກົດລະບຽບ

-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | ບໍ່ມີ
ເລືອກຮູບແບບຜົນຜະລິດ.

-i ບໍ່ສົນໃຈການປິດການນຳໃຊ້ໃນທ້ອງຖິ່ນ.

-l ກົດລະບຽບ...
ຂະບວນການທີ່ມີກົດລະບຽບທີ່ກໍານົດໄວ້; ເບິ່ງຂ້າງລຸ່ມນີ້.

-o ເອກະສານ
ສົ່ງຜົນຜະລິດໄປຫາທີ່ກໍານົດໄວ້ ເອກະສານ.

-p ເອກະສານ
ລະບຸໄຟລ໌ໂຄງການ emacs ada-mode (.adp)

-r ປະກົດຕົວ

-s ປະມວນຜົນສະເພາະຫົວໜ່ວຍ Ada ເທົ່ານັ້ນ

-S ລະດັບ
ຜະລິດສະຖິຕິ; ລະດັບ ເປັນຈຳນວນເຕັມໃນຂອບເຂດ 0.. 4.

-t trace_file
ສົ່ງການຕິດຕາມໄປຫາໄຟລ໌ທີ່ລະບຸໄວ້.

-T ລາຍງານເວລາປະຕິບັດກົດລະບຽບ.

-u ປະຕິບັດຕົວກໍານົດການທັງຫມົດເປັນຫນ່ວຍ Ada

-v ເປີດໃຊ້ໂໝດ verbose.

-w ຂຽນທັບໄຟລ໌ຜົນຜະລິດ (ໃຊ້ໄດ້ກັບ -o)

-x ອອກເມື່ອມີຂໍ້ຜິດພາດພາຍໃນ

ກົດລະບຽບ

ກົດ​ລະ​ບຽບ​ດັ່ງ​ຕໍ່​ໄປ​ນີ້​ແມ່ນ​ມີ​ສໍາ​ລັບ​ການ​ -l ຕົວເລືອກ:
Abnormal_Function_Return Allocators
Array_Declarations Barrier_Expressions
Case_Statement ລັກສະນະ
ປະກາດ Default_Parameter
Directly_Accessed_Globals Duplicate_Initialization_Calls
Entities Entity_Inside_Exception
Exception_Propagation Expressions
Global_References Header_Comments
Improper_Initialization Instantiations
Insufficient_Parameters Local_hiding
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Multiple_Assignments
Naming_Convention Non_Static
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declares
Other_Dependencies Parameter_Aliasing
Parameter_Declarations Potentially_Blocking_Operations
Pragmas Reduceable_Scope
Representation_Clauses Return_Type
Side_Effect_Parameters Silent_Exceptions
Simplifiable_Expressions Simplifiable_Statements
Special_Comments ຖະແຫຼງການ
Style Terminating_Tasks
Type_Initial_Values ​​ບໍ່ສາມາດກວດສອບໄດ້
Units Unnecessary_Use_Clause
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
ການນໍາໃຊ້ Use_Clauses
With_Clauses

ໃຊ້ adactl ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net