Safecpp Component Architecture

Safecpp Architecture		status: valid security: YES safety: ASIL_B
realizes: wp__component_arch
doc__safecpp_architecture		Generic Document

Overview/Description

see Safecpp Architecture (doc__safecpp_architecture)

Static Architecture

SafeCpp		status: valid security: YES safety: ASIL_B
tags: baselibs_safecpp, baselibs implements: logic_arc_int__safecpp__aborts_upon_ex, logic_arc_int__safecpp__coverage_termination, logic_arc_int__baselibs__safemath, logic_arc_int__baselibs__safeatomics, logic_arc_int__baselibs__scoped_function, logic_arc_int__baselibs__string_view included by: mod__baselibs, mod_view_sta__baselibs__baselibs
comp__baselibs_safecpp		Component

Interfaces

Aborts Upon Exception		status: valid security: YES safety: ASIL_B
implemented by: comp__baselibs_safecpp included by: feat__baselibs, feat_arc_sta__baselibs__static_view_arch includes: logic_arc_int_op__safecpp__allocate_exception
logic_arc_int__safecpp__aborts_upon_ex		Logical Interface & Feature Interface View

Allocate exception		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__safecpp__aborts_upon_ex
logic_arc_int_op__safecpp__allocate_exception		Logical Interface Operation

Coverage Termination Handler		status: valid security: YES safety: ASIL_B
implemented by: comp__baselibs_safecpp included by: feat__baselibs, feat_arc_sta__baselibs__static_view_arch includes: logic_arc_int_op__safecpp__terminate_handler, logic_arc_int_op__safecpp__signal_handler
logic_arc_int__safecpp__coverage_termination		Logical Interface & Feature Interface View

Terminate_handler		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__safecpp__coverage_termination
logic_arc_int_op__safecpp__terminate_handler		Logical Interface Operation

Signal_handler		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__safecpp__coverage_termination
logic_arc_int_op__safecpp__signal_handler		Logical Interface Operation

Safe Math		status: valid security: YES safety: ASIL_B
tags: baselibs implemented by: comp__baselibs_safecpp included by: feat__baselibs, feat_arc_sta__baselibs__static_view_arch includes: logic_arc_int_op__safecpp__safemath_add, logic_arc_int_op__safecpp__safemath_subtract, logic_arc_int_op__safecpp__safemath_multiply, logic_arc_int_op__safecpp__safemath_divide, logic_arc_int_op__safecpp__safemath_negate, logic_arc_int_op__safecpp__safemath_abs, logic_arc_int_op__safecpp__safemath_cast, logic_arc_int_op__safecpp__safemath_less, logic_arc_int_op__safecpp__safemath_greater, logic_arc_int_op__safecpp__safemath_equal, logic_arc_int_op__safecpp__safemath_notequal, logic_arc_int_op__safecpp__safemath_lessequal, logic_arc_int_op__safecpp__safemath_greatereq
logic_arc_int__baselibs__safemath		Logical Interface & Feature Interface View

Add		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_add		Logical Interface Operation

Subtract		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_subtract		Logical Interface Operation

Multiply		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_multiply		Logical Interface Operation

Divide		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_divide		Logical Interface Operation

Negate		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_negate		Logical Interface Operation

Abs		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_abs		Logical Interface Operation

Cast		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_cast		Logical Interface Operation

Less		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_less		Logical Interface Operation

Greater		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_greater		Logical Interface Operation

Equal		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_equal		Logical Interface Operation

Notequal		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_notequal		Logical Interface Operation

Lessequal		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_lessequal		Logical Interface Operation

Greaterequal		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safemath
logic_arc_int_op__safecpp__safemath_greatereq		Logical Interface Operation

Safe Atomics		status: valid security: YES safety: ASIL_B
tags: baselibs implemented by: comp__baselibs_safecpp included by: feat__baselibs, feat_arc_sta__baselibs__static_view_arch includes: logic_arc_int_op__safecpp__safeatomics_atomic
logic_arc_int__baselibs__safeatomics		Logical Interface & Feature Interface View

Atomic Add		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__safeatomics
logic_arc_int_op__safecpp__safeatomics_atomic		Logical Interface Operation

Scoped Function		status: valid security: YES safety: ASIL_B
tags: baselibs implemented by: comp__baselibs_safecpp included by: feat__baselibs, feat_arc_sta__baselibs__static_view_arch includes: logic_arc_int_op__safecpp__scoped_function_mo, logic_arc_int_op__safecpp__scoped_function_co, logic_arc_int_op__safecpp__scoped_function_ex
logic_arc_int__baselibs__scoped_function		Logical Interface & Feature Interface View

Move Only Scoped Function		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__scoped_function
logic_arc_int_op__safecpp__scoped_function_mo		Logical Interface Operation

Copyable Scoped Function		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__scoped_function
logic_arc_int_op__safecpp__scoped_function_co		Logical Interface Operation

Expire		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__scoped_function
logic_arc_int_op__safecpp__scoped_function_ex		Logical Interface Operation

String View		status: valid security: YES safety: ASIL_B
tags: baselibs implemented by: comp__baselibs_safecpp included by: feat__baselibs, feat_arc_sta__baselibs__static_view_arch includes: logic_arc_int_op__safecpp__string_view_null
logic_arc_int__baselibs__string_view		Logical Interface & Feature Interface View

Null Termination Check		status: valid security: YES safety: ASIL_B
included by: logic_arc_int__baselibs__string_view
logic_arc_int_op__safecpp__string_view_null		Logical Interface Operation