欢迎来到天天文库
浏览记录
ID:41299570
大小:386.81 KB
页数:24页
时间:2019-08-21
《FinalReview-GeorgeMasonUniversityDepartmentof619最终审查部乔治梅森大学》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、619FinalReviewLastupdatedFall2012PaulAmmannAgendaReviewTopicsCoveredHighlightKeyTechnicalConceptsIdentifyAreasforStudyonFinalFinalMayTestSeveralConceptsinaGivenQuestionGoal:StrongShowingonFinalProceduralAbstractions(Liskov1-3)SpecificationsPreconditions(RequiresClause)
2、Postconditions(EffectsClause)ModifiesClauseYouCanReadandWriteSuchSpecificationsIssues:MinimalityUnderdeterminedBehaviorDeterministicImplementationsGeneralityExceptions(Liskov4,Bloch9)RationaleforExceptionsTotalvs.PartialSpecificationsReplacingPreconditionswithDefinedBe
3、haviorRoleof“FailureException”SpecificationsIncludeExceptionReturnsCheckedvs.UncheckedExceptionsBloch’sListofStandardExceptionsMaskingvs.ReflectionDataAbstraction(Liskov5)FundamentalTopicExpectSignificantExamCoverageSpecificationsfor:Overview(Typical“Object”)Abstractio
4、nFunction(toString())RepresentationInvariant(repOk())MethodsYouCanExpecttoWrite/ModifySomeorAllofTheseUnderstanding,notFormality,istheFocusMoreDataAbstraction(Liskov5)IntSetandPolyExamplesMutabilityReasoningaboutDataAbstractionsRoleofAbstractionFunctionValueofAbstracti
5、onFunctioninSpecificExamplesRoleofRepresentationInvariantValueofRepresentationInvariantinSpecificExamplesHowtoArgueathatMethodMeetsitsContractOtherIssuesExposingtheRepAdequacyIterationAbstraction(Liskov6)SpecifyingIteratorsPreconditionsandPostconditionsConstraintsonMod
6、ificationsWhileGeneratorisinUseImplementingIteratorsinJavaAbstractionFunctionsforIteratorsValueofAbstractionFunctioninSpecificExamplesAbstractionFunctionForExtensionsAllowingaprev()aswellasanext()methodAllowingaremove()methodTypeHierarchy(Liskov7)FundamentalTopicSubsti
7、tutionPrincipleUsesofTypeHierarchyExtendingBehaviorvs.MultipleImplementationsMechanismsExtensions,AbstractClasses,InterfacesUnderstandingOverridingvs.OverloadingDynamicDispatchingApparentTypevs.ActualTypeTypeHierarchy(Liskov7)ReasoningAboutSubtypesSignatureRuleRulesfor
8、ExceptionsMethodsRulePreconditions/PostconditionsMoreRulesforExceptionsPropertiesRulePolymorphicAbstraction(Liskov8)E
此文档下载收益归作者所有