Questions: Acha Arfaetha At Byrha Dreftadaeth Ddeillia..?
Bynciau achos pawb Arfaetha At Byrha practitioners
Ai 'm ddosbartha (E) implements 'n dri rhyngwynebau (A, B & C) a extends ddosbartha D, pob un ag 'i addef pre - amodau a bostio - amodau a rhyw invariants.
Ddosbartha E hefyd has hychydig pre - amodau a bostio - amodau a rhyw invariants.
Pre - amodau all bod gwanychedig. Fel presumably dydy an AI adran yn caethiwo pawb 'r pre - amodau chan A, B, C, D & E. 'r chwestiyna ydy i mewn beth archeba?
Bostio - amodau all bod grymusedig.
Fel presumably Ddylaswn A pawb 'r pre - amodau chan A, B, C, D & E. Ydy a cerydda?
Ddim Allais ca aboout dreftadaeth chan Invariants. Fel asethech pawb 'r invariants chan A -E ddosbarthau? A adran?
Yn disgwyl llwybreiddia achos 'ch responses ….
Ffeiliedig dan Java Feddalwedd, Dechnoleg 
RSS 2.0
Trackback hon Erthygl
Email hon Erthygl
'ch Mai hefyd cyffelyb i darllen |
Tachwedd 11th, 2004 am 510: am
'r preconditions a postconditions chyfeillachir ag drefnau. Unrhyw anrhegedig drefn i mewn Java all ond bod aeriedig chan a 'n ddibriod rhyngwyneb ai ddosbartha, fel mae na chwestiyna am ANDing a ORing.
Pryd an overriding drefn modifies 'r precondition ai postcondition chan 'i parent drefn:
Achos preconditions, 'r parent precondition ydy tested 'n flaen. Ai a precondition fails, 'na 'r precondition chan 'r cerrynt classs ’ drefn ydy tested, a ai ai succeeds a ai 'r alw was chan y tu allan i 'r cerrynt ddosbartha 'na 'r ddosbartha invariant ydy tested.
Achos postconditions, 'r parent postcondition ydy tested 'n flaen. Ai a postcondition succeeds, 'na 'r postcondition chan 'r cerrynt classs ’ drefn ydy tested, a ai a succeeds a ai 'r alw was chan y tu allan i chan 'r cerrynt ddosbartha 'na 'r ddosbartha invariant ydy tested.
Achos constructors, hagen, 'r reolau ydy 'n amgen. Ond 'r precondition ydy tested acha chofnodiad, mo 'r ddosbartha invariant achos 'r atalnoda chan 'r constructor ydy at cadarnha 'r ddosbartha invariant. Acha allanfa, 'r ddosbartha invariant ydy tested 'n flaen, a ai a succeeds 'na 'r postcondition ydy tested. Note: constructors ydy mo aeriedig, theyre ’ 'n gadwynog dreftadaeth reolau dont ’ chymhwysa.
'r invariant achos ddosbarth ydy 'r chyfuniad chan 'i ddosbartha invariant a 'r ddosbartha invariants ) achos 'i parent ddosbarthau ). Pawb invariants must beunydd bod 'n ddiau, fel 'r yn archebu ydy braidd 'n amherthnasol. Gostega, Eiffel specifies 'r yn canlyn archeba: hon classs ’ invariant, 'na parent invariants, 'na invariants ymgystlynedig unrhyw drefnau redefined fel briodoleddau ( rhywbeth 'ch cant ’ gwna i mewn Java).