SymbolicTypeFactory

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total15 of 15090%3 of 862%516228212
typeWithId(int)60%n/a111111
canonicalize(SymbolicType)44291%2467%2401001
numTypes()30%n/a111111
static {...}2675%1150%120101
SymbolicTypeFactory()43100%n/a010801
arrayType(SymbolicTypeIF, SymbolicExpressionIF)9100%n/a010101
tupleType(String, SymbolicTypeIF[])9100%n/a010101
functionType(SymbolicTypeIF[], SymbolicTypeIF)9100%n/a010101
arrayType(SymbolicTypeIF)8100%n/a010101
booleanType()3100%n/a010101
integerType()3100%n/a010101
realType()3100%n/a010101