Springcontracts Een hulpmiddel om u te helpen met uw ontwikkeling.
Download nu

Springcontracts Rangschikking & Samenvatting

Springcontracts Tags

ontwikkeling ontwikkelen ontwikkelingsinstrument integreren Spring Framework-integratie Expressietaalondersteuning

Springcontracts Beschrijving

SpringContracts is een op Java gebaseerde ontwikkelingshulpmiddel dat u zal helpen bij het ontwerpen van contract met naadloze integratie in het Veerkader, op basis van annotaties, AOP en een pluggabele specificatietaal (ondersteunt expressietaal (EL) met extensies, groovy, ogll out of the box) . Belangrijkste kenmerken: geeft u de vrijheid om op te richten op contracten - randvoorwaarden, postconditions en invarianten - op een flexibele manier. (gebaseerd op annotaties of door een externe notatie) Met kunt u het gedrag van contractvalidatie configureren via de aanvraagcontext van de lente. geeft een pluggabele manier om de taal in te schakelen om de voorwaarden te beschrijven. wordt geleverd met een ingebouwde ondersteuning voor expressietaal (Commons EL) met extensies als gevolg van de eerste orderlogica (alle quantor, bestaan quantor, implicatie)

Springcontracts Gerelateerde software