@Test public void test() throws FileNotFoundException, IOException { final InputStream inputStream = getClass().getResourceAsStream(filepath); final XtaSystem system = XtaDslManager.createSystem(inputStream); final LTS<XtaState<?>, XtaAction> lts = XtaLts.create(system); final Analysis<XtaState<UnitState>, XtaAction, UnitPrec> analysis = XtaAnalysis.create(system, UnitAnalysis.getInstance()); final ArgBuilder<XtaState<UnitState>, XtaAction, UnitPrec> argBuilder = ArgBuilder.create(lts, analysis, s -> false); final Abstractor<XtaState<UnitState>, XtaAction, UnitPrec> abstractor = BasicAbstractor.builder(argBuilder) .projection(s -> s.getLocs()).build(); final ARG<XtaState<UnitState>, XtaAction> arg = abstractor.createArg(); abstractor.check(arg, UnitPrec.getInstance()); System.out.println(GraphvizWriter.getInstance().writeString(ArgVisualizer.getDefault().visualize(arg))); }
public static <S extends State, P extends Prec> XtaAnalysis<S, P> create(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis) { return new XtaAnalysis<>(system, analysis); }
XtaAnalysis implements Analysis<XtaState<S>, XtaAction, P> { public static <S extends State, P extends Prec> XtaAnalysis<S, P> create(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis) { return new XtaAnalysis<>(system, analysis); } }
XtaAnalysis implements Analysis<XtaState<S>, XtaAction, P> { public static <S extends State, P extends Prec> XtaAnalysis<S, P> create(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis) { return new XtaAnalysis<>(system, analysis); } private  XtaAnalysis(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis); }
XtaAnalysis implements Analysis<XtaState<S>, XtaAction, P> { public static <S extends State, P extends Prec> XtaAnalysis<S, P> create(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis) { return new XtaAnalysis<>(system, analysis); } private  XtaAnalysis(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis); static XtaAnalysis<S, P> create(final XtaSystem system,
																			 final Analysis<S, ? super XtaAction, ? super P> analysis); @Override PartialOrd<XtaState<S>> getPartialOrd(); @Override InitFunc<XtaState<S>, P> getInitFunc(); @Override TransFunc<XtaState<S>, XtaAction, P> getTransFunc(); }
XtaAnalysis implements Analysis<XtaState<S>, XtaAction, P> { public static <S extends State, P extends Prec> XtaAnalysis<S, P> create(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis) { return new XtaAnalysis<>(system, analysis); } private  XtaAnalysis(final XtaSystem system, final Analysis<S, ? super XtaAction, ? super P> analysis); static XtaAnalysis<S, P> create(final XtaSystem system,
																			 final Analysis<S, ? super XtaAction, ? super P> analysis); @Override PartialOrd<XtaState<S>> getPartialOrd(); @Override InitFunc<XtaState<S>, P> getInitFunc(); @Override TransFunc<XtaState<S>, XtaAction, P> getTransFunc();  }