139140141142143144145146147148149
break; case SparkOptions.propagator_merge: propagator[0] = new PropMerge( pag ); break; case SparkOptions.propagator_alias: propagator[0] = new PropAlias( pag ); break; case SparkOptions.propagator_none: break; default: throw new RuntimeException();