@Test public void fuzzTest() { QuickCheck.forAll(new CDepManifestYmlGenerator(), new AbstractCharacteristic<CDepManifestYml>() { @Override protected void doSpecify(CDepManifestYml any) throws Throwable { String capture = CDepManifestYmlUtils.convertManifestToString(any); CDepManifestYml readAny = CDepManifestYmlUtils.convertStringToManifest(capture); try { Invariant.pushScope(false); BuildFindModuleFunctionTable builder = new BuildFindModuleFunctionTable(); builder.addManifest(new ResolvedManifest(new URL("https: FunctionTableExpression table = builder.build(); new NdkBuildGenerator(environment).generate(table); } finally { Invariant.popScope(); } } }); }
public void generate(FunctionTableExpression expr) { expr = (FunctionTableExpression) new JoinedFileToStringRewriter("(", ")").visitFunctionTableExpression(expr); visit(expr); }
NdkBuildGenerator extends AbstractNdkBuildGenerator { public void generate(FunctionTableExpression expr) { expr = (FunctionTableExpression) new JoinedFileToStringRewriter("(", ")").visitFunctionTableExpression(expr); visit(expr); } }
NdkBuildGenerator extends AbstractNdkBuildGenerator { public void generate(FunctionTableExpression expr) { expr = (FunctionTableExpression) new JoinedFileToStringRewriter("(", ")").visitFunctionTableExpression(expr); visit(expr); } NdkBuildGenerator(@NotNull GeneratorEnvironment environment); }
NdkBuildGenerator extends AbstractNdkBuildGenerator { public void generate(FunctionTableExpression expr) { expr = (FunctionTableExpression) new JoinedFileToStringRewriter("(", ")").visitFunctionTableExpression(expr); visit(expr); } NdkBuildGenerator(@NotNull GeneratorEnvironment environment); void generate(FunctionTableExpression expr); }
NdkBuildGenerator extends AbstractNdkBuildGenerator { public void generate(FunctionTableExpression expr) { expr = (FunctionTableExpression) new JoinedFileToStringRewriter("(", ")").visitFunctionTableExpression(expr); visit(expr); } NdkBuildGenerator(@NotNull GeneratorEnvironment environment); void generate(FunctionTableExpression expr);  }