ValueTypeFactory

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total198 of 71172%22 of 5862%236432148532
symType(VectorValueTypeIF)360%n/a117711
symType(FunctionValueType)320%20%226611
symType(ValueTypeIF)304962%5964%3851701
primitiveType(TypeIF)300%50%556611
symType(PrimitiveValueTypeIF)161954%2360%252601
symType(ArrayValueType)153671%3350%3421101
canonicalizeChildren(ValueTypeIF)124679%1990%1611201
rectangularArrayValueType(ValueTypeIF, ValueIF[])123071%1375%1311001
dynamicType(int)60%n/a111111
complete(ReferenceValueTypeIF, ValueTypeIF)41579%2250%230501
valueFactory()30%n/a111111
static {...}2675%1150%120101
ValueTypeFactory(ModelFactoryIF, SymbolicUniverseIF)107100%2100%0202001
symType(RecordValueType)31100%2100%020601
canonic(ValueTypeIF)21100%2100%020501
newPrimitiveValueType(TypeIF)17100%n/a010301
referenceValueType(ValueTypeIF)16100%n/a010301
arrayValueType(ValueTypeIF, ValueIF)16100%n/a010301
functionValueType(ValueTypeIF, ValueTypeIF[])16100%n/a010301
recordValueType(RecordTypeIF, ValueTypeIF[])16100%n/a010301
newVoidPointerType()15100%n/a010301
vectorValueType(ValueTypeIF)15100%n/a010301
newIncompleteReferenceValueType()14100%n/a010301
setValueFactory(ValueFactory)4100%n/a010201
variableReferenceSymbolicType()3100%n/a010101
referenceSymbolicTypeIF()3100%n/a010101
modelFactory()3100%n/a010101
booleanType()3100%n/a010101
characterType()3100%n/a010101
integerType()3100%n/a010101
realType()3100%n/a010101
voidPointerType()3100%n/a010101