public TestSequence getTests(ANamedTraceDefinition tracedef, Context ctxt, float subset, TraceReductionType type, long seed) throws Exception { SequenceTraceNode traces = new SequenceTraceNode(); for (ATraceDefinitionTerm term : tracedef.getTerms()) { traces.nodes.add(term.apply(af.getTraceExpander(), ctxt)); } TestSequence tests = traces.getTests(); if (tests.isEmpty()) { throw new Exception("Trace expansion generated no tests"); } if (subset < 1.0) { tests = new ReducedTestSequence(tests, subset, type, seed); } return tests; }
for (ATraceDefinitionTerm term : node.getTerms())
List<ATraceDefinitionTerm> copy = new ArrayList<ATraceDefinitionTerm>(node.getTerms()); for( ATraceDefinitionTerm e : copy)
List<ATraceDefinitionTerm> copy = new ArrayList<ATraceDefinitionTerm>(node.getTerms()); for( ATraceDefinitionTerm e : copy)
List<ATraceDefinitionTerm> copy = new ArrayList<ATraceDefinitionTerm>(node.getTerms()); for( ATraceDefinitionTerm e : copy)
List<ATraceDefinitionTerm> copy = new ArrayList<ATraceDefinitionTerm>(node.getTerms()); for( ATraceDefinitionTerm e : copy)
List<ATraceDefinitionTerm> copy = new ArrayList<ATraceDefinitionTerm>(node.getTerms()); for( ATraceDefinitionTerm e : copy)
@Override public PType caseANamedTraceDefinition(ANamedTraceDefinition node, TypeCheckInfo question) throws AnalysisException { if (question.env.isVDMPP()) { question = new TypeCheckInfo(question.assistantFactory, new FlatEnvironment(question.assistantFactory, question.assistantFactory.createPDefinitionAssistant().getSelfDefinition(node), question.env), question.scope, question.qualifiers); } for (ATraceDefinitionTerm term : node.getTerms()) { typeCheck(term.getList(), THIS, new TypeCheckInfo(question.assistantFactory, question.env, NameScope.NAMESANDSTATE)); } // Mark node as used, as traces are not used anyway question.assistantFactory.createPDefinitionAssistant().markUsed(node); return null; }