Larch/C++ Built-in Traits

Contents:

• README
• LSL Traits
• Other Files

LSL Traits

• AbstractStringTrait
• AllocatedAssigned
• Array
• ArrayAllocAuxSig
• ArrayAllocatedAuxFuns
• ArrayAssignedAuxFuns
• ArrayIterateProc
• Between
• CCIntegers
• CoerceElements
• ConstObj
• Constraint_Visible
• Floor
• FreshSemantics
• HasMembership
• HistoryConstraint
• IgnoringTypeTags
• IntegerConversion
• IntegerConversions
• Invariant
• Invariant_Visible
• LCPP_builtins
• MAX_SIZE
• ModifiesSemantics
• MultiDimensionalArray
• MutableObj
• NoContainedObjects
• NoInformation
• NoInformationCoercion
• NoInformationError
• NoInformationErrorSubtype
• NoInformationException
• NoSideEffectsDetFun
• NoSideEffectsFun
• ObjectContainer
• Pointer
• PointerAllocAuxSig
• PointerAllocatedAuxFuns
• PointerAssignedAuxFuns
• PointerDeref
• PointerToArray
• PointerToMember
• PointerToMemberArray
• PointerWithNull
• PrePointer
• PureValue
• SideEffectsFun
• SimFunStateFromFun
• SimulationFun
• SimulationFunState
• SortNames
• State
• State_Basics
• State_Updates
• SubArray
• TopLevelAliased
• TrashesSemantics
• TypePerspectives
• TypeTag
• TypeTaggedObject
• TypedObj
• TypedObjEval
• Val_Array
• WidenNarrow
• WithUnassigned
• bitwise
• bool_sugars
• c_pred
• char
• char_constants
• char_literals
• contained_objects
• container_objs
• cpp_char_string
• cpp_const_char_string
• cpp_const_unsignedChar_string
• cpp_const_wchar_t_string
• cpp_function
• cpp_member_function
• cpp_string
• cpp_unsignedChar_string
• cpp_wchar_t_string
• double
• float
• follows
• i_pred
• int
• lcpp_string_ops
• long
• longDouble
• pretend_bool
• short
• signed
• signedChar
• string_ops
• unsigned
• unsignedChar
• unsignedInt
• unsignedLong
• unsignedShort
• visible
• void
• wchar_t
• with_member_objs

Other Files

• AllocatedAssigned.proof
• FreshSemantics.proof
• Makefile
• ModifiesSemantics.proof
• SortNames.proof
• State.proof
• State_Basics.proof
• State_Updates.proof
• TrashesSemantics.proof
• TypePerspectives.proof
• TypeTag.proof
• TypedObj.proof
• TypedObjEval.proof
• WidenNarrow.proof
• WithUnassigned.proof

HTML generated using lcpp2html.