All Downloads are FREE. Search and download functionalities are using the official Maven repository.

net.automatalib.util.automata.builders.FSABuilder Maven / Gradle / Ivy

Go to download

This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

There is a newer version: 0.11.0
Show newest version
/*
 * Automatically generated by Duzzt -- https://github.com/misberner/duzzt/
 * DO NOT EDIT! Your changes will be overridden.
 * Edit the annotation specification of class
 *   net.automatalib.util.automata.builders.FSABuilderImpl
 * instead.
 */

package net.automatalib.util.automata.builders;

@javax.annotation.Generated(
	value={"com.github.misberner.duzzt.processor.Duzzt"},
	comments="Generated by Duzzt -- https://github.com/misberner/duzzt",
	date="2019-02-18T11:26+0000")
public class FSABuilder> {
	public final class FSABuilder__1 {
		public final 
		FSABuilder__2 loop() {
			FSABuilder.this.__duzzt_impl.loop();
			return FSABuilder.this.__duzzt_getState2();
		}


		public final 
		FSABuilder__3 to(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.to(stateId);
			return FSABuilder.this.__duzzt_getState3();
		}
		@SafeVarargs
		public final 
		FSABuilder__3 to(java.lang.Object stateId, java.lang.Object... stateIds) {
			FSABuilder__3 __duzzt_succ = to(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.to(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
	}
	private FSABuilder__1 __duzzt_state1 = null;
	private FSABuilder__1 __duzzt_getState1() {
		if(this.__duzzt_state1 == null) {
			this.__duzzt_state1 = new FSABuilder__1();
		}
		return this.__duzzt_state1;
	}


	public final class FSABuilder__0 {
		@SafeVarargs
		public final 
		FSABuilder__1 on(I firstInput,
		I... otherInputs) {
			FSABuilder.this.__duzzt_impl.on(firstInput,otherInputs);
			return FSABuilder.this.__duzzt_getState1();
		}


		public final 
		FSABuilder__1 on(I input) {
			FSABuilder.this.__duzzt_impl.on(input);
			return FSABuilder.this.__duzzt_getState1();
		}

	}
	private FSABuilder__0 __duzzt_state0 = null;
	private FSABuilder__0 __duzzt_getState0() {
		if(this.__duzzt_state0 == null) {
			this.__duzzt_state0 = new FSABuilder__0();
		}
		return this.__duzzt_state0;
	}


	public final class FSABuilder__2 {
		public final 
		FSABuilder withAccepting(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.withAccepting(stateId);
			return FSABuilder.this;
		}
		@SafeVarargs
		public final 
		FSABuilder withAccepting(java.lang.Object stateId, java.lang.Object... stateIds) {
			FSABuilder __duzzt_succ = withAccepting(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.withAccepting(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
		@SafeVarargs
		public final 
		FSABuilder__1 on(I firstInput,
		I... otherInputs) {
			FSABuilder.this.__duzzt_impl.on(firstInput,otherInputs);
			return FSABuilder.this.__duzzt_getState1();
		}

		public 
		A create() {
			return FSABuilder.this.__duzzt_impl.create();
		}

		public final 
		FSABuilder__0 from(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.from(stateId);
			return FSABuilder.this.__duzzt_getState0();
		}

		@SafeVarargs
		public final 
		FSABuilder__0 from(java.lang.Object firstStateId,
		java.lang.Object... otherStateIds) {
			FSABuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
			return FSABuilder.this.__duzzt_getState0();
		}


		public final 
		FSABuilder__1 on(I input) {
			FSABuilder.this.__duzzt_impl.on(input);
			return FSABuilder.this.__duzzt_getState1();
		}


		public final 
		FSABuilder withInitial(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.withInitial(stateId);
			return FSABuilder.this;
		}
		@SafeVarargs
		public final 
		FSABuilder withInitial(java.lang.Object stateId, java.lang.Object... stateIds) {
			FSABuilder __duzzt_succ = withInitial(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.withInitial(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}

		public final 
		FSABuilder__2 to(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.to(stateId);
			return FSABuilder.this.__duzzt_getState2();
		}
		@SafeVarargs
		public final 
		FSABuilder__2 to(java.lang.Object stateId, java.lang.Object... stateIds) {
			FSABuilder__2 __duzzt_succ = to(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.to(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
	}
	private FSABuilder__2 __duzzt_state2 = null;
	private FSABuilder__2 __duzzt_getState2() {
		if(this.__duzzt_state2 == null) {
			this.__duzzt_state2 = new FSABuilder__2();
		}
		return this.__duzzt_state2;
	}


	public final class FSABuilder__3 {
		public final 
		FSABuilder withAccepting(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.withAccepting(stateId);
			return FSABuilder.this;
		}
		@SafeVarargs
		public final 
		FSABuilder withAccepting(java.lang.Object stateId, java.lang.Object... stateIds) {
			FSABuilder __duzzt_succ = withAccepting(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.withAccepting(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
		@SafeVarargs
		public final 
		FSABuilder__1 on(I firstInput,
		I... otherInputs) {
			FSABuilder.this.__duzzt_impl.on(firstInput,otherInputs);
			return FSABuilder.this.__duzzt_getState1();
		}

		public 
		A create() {
			return FSABuilder.this.__duzzt_impl.create();
		}

		public final 
		FSABuilder__0 from(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.from(stateId);
			return FSABuilder.this.__duzzt_getState0();
		}

		@SafeVarargs
		public final 
		FSABuilder__0 from(java.lang.Object firstStateId,
		java.lang.Object... otherStateIds) {
			FSABuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
			return FSABuilder.this.__duzzt_getState0();
		}


		public final 
		FSABuilder__1 on(I input) {
			FSABuilder.this.__duzzt_impl.on(input);
			return FSABuilder.this.__duzzt_getState1();
		}


		public final 
		FSABuilder withInitial(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.withInitial(stateId);
			return FSABuilder.this;
		}
		@SafeVarargs
		public final 
		FSABuilder withInitial(java.lang.Object stateId, java.lang.Object... stateIds) {
			FSABuilder __duzzt_succ = withInitial(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.withInitial(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}

		public final 
		FSABuilder__2 loop() {
			FSABuilder.this.__duzzt_impl.loop();
			return FSABuilder.this.__duzzt_getState2();
		}


		public final 
		FSABuilder__3 to(java.lang.Object stateId) {
			FSABuilder.this.__duzzt_impl.to(stateId);
			return FSABuilder.this.__duzzt_getState3();
		}
		@SafeVarargs
		public final 
		FSABuilder__3 to(java.lang.Object stateId, java.lang.Object... stateIds) {
			FSABuilder__3 __duzzt_succ = to(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.to(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
	}
	private FSABuilder__3 __duzzt_state3 = null;
	private FSABuilder__3 __duzzt_getState3() {
		if(this.__duzzt_state3 == null) {
			this.__duzzt_state3 = new FSABuilder__3();
		}
		return this.__duzzt_state3;
	}


	private final net.automatalib.util.automata.builders.FSABuilderImpl __duzzt_impl;

	public FSABuilder(A automaton) {
		this.__duzzt_impl = new net.automatalib.util.automata.builders.FSABuilderImpl(automaton);
	}

	FSABuilder(net.automatalib.util.automata.builders.FSABuilderImpl implementation) {
		this.__duzzt_impl = implementation;
	}

	public final 
	FSABuilder withAccepting(java.lang.Object stateId) {
		FSABuilder.this.__duzzt_impl.withAccepting(stateId);
		return FSABuilder.this;
	}
	@SafeVarargs
	public final 
	FSABuilder withAccepting(java.lang.Object stateId, java.lang.Object... stateIds) {
		FSABuilder __duzzt_succ = withAccepting(stateId);
		for(java.lang.Object __duzzt_varargs_elem : stateIds) {
			__duzzt_succ.withAccepting(__duzzt_varargs_elem);
		}
		return __duzzt_succ;
	}
	public 
	A create() {
		return FSABuilder.this.__duzzt_impl.create();
	}

	public final 
	FSABuilder__0 from(java.lang.Object stateId) {
		FSABuilder.this.__duzzt_impl.from(stateId);
		return FSABuilder.this.__duzzt_getState0();
	}

	@SafeVarargs
	public final 
	FSABuilder__0 from(java.lang.Object firstStateId,
	java.lang.Object... otherStateIds) {
		FSABuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
		return FSABuilder.this.__duzzt_getState0();
	}


	public final 
	FSABuilder withInitial(java.lang.Object stateId) {
		FSABuilder.this.__duzzt_impl.withInitial(stateId);
		return FSABuilder.this;
	}
	@SafeVarargs
	public final 
	FSABuilder withInitial(java.lang.Object stateId, java.lang.Object... stateIds) {
		FSABuilder __duzzt_succ = withInitial(stateId);
		for(java.lang.Object __duzzt_varargs_elem : stateIds) {
			__duzzt_succ.withInitial(__duzzt_varargs_elem);
		}
		return __duzzt_succ;
	}
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy