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

net.automatalib.util.automata.builders.AutomatonBuilder 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.AutomatonBuilderImpl
 * 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 AutomatonBuilder> {
	public final class AutomatonBuilder__3 {
		public final 
		AutomatonBuilder__2 loop() {
			AutomatonBuilder.this.__duzzt_impl.loop();
			return AutomatonBuilder.this.__duzzt_getState2();
		}


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


	public final class AutomatonBuilder__1 {
		public final 
		AutomatonBuilder__2 loop() {
			AutomatonBuilder.this.__duzzt_impl.loop();
			return AutomatonBuilder.this.__duzzt_getState2();
		}


		public final 
		AutomatonBuilder__3 withProperty(TP transProp) {
			AutomatonBuilder.this.__duzzt_impl.withProperty(transProp);
			return AutomatonBuilder.this.__duzzt_getState3();
		}


		public final 
		AutomatonBuilder__2 to(java.lang.Object stateId) {
			AutomatonBuilder.this.__duzzt_impl.to(stateId);
			return AutomatonBuilder.this.__duzzt_getState2();
		}
		@SafeVarargs
		public final 
		AutomatonBuilder__2 to(java.lang.Object stateId, java.lang.Object... stateIds) {
			AutomatonBuilder__2 __duzzt_succ = to(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.to(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
	}
	private AutomatonBuilder__1 __duzzt_state1 = null;
	private AutomatonBuilder__1 __duzzt_getState1() {
		if(this.__duzzt_state1 == null) {
			this.__duzzt_state1 = new AutomatonBuilder__1();
		}
		return this.__duzzt_state1;
	}


	public final class AutomatonBuilder__0 {
		@SafeVarargs
		public final 
		AutomatonBuilder__1 on(I firstInput,
		I... otherInputs) {
			AutomatonBuilder.this.__duzzt_impl.on(firstInput,otherInputs);
			return AutomatonBuilder.this.__duzzt_getState1();
		}


		public final 
		AutomatonBuilder__1 on(I input) {
			AutomatonBuilder.this.__duzzt_impl.on(input);
			return AutomatonBuilder.this.__duzzt_getState1();
		}

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


	public final class AutomatonBuilder__2 {
		public 
		A create() {
			return AutomatonBuilder.this.__duzzt_impl.create();
		}

		public final 
		AutomatonBuilder__2 loop() {
			AutomatonBuilder.this.__duzzt_impl.loop();
			return AutomatonBuilder.this.__duzzt_getState2();
		}


		public final 
		AutomatonBuilder withInitial(java.lang.Object stateId) {
			AutomatonBuilder.this.__duzzt_impl.withInitial(stateId);
			return AutomatonBuilder.this;
		}
		@SafeVarargs
		public final 
		AutomatonBuilder withInitial(java.lang.Object stateId, java.lang.Object... stateIds) {
			AutomatonBuilder __duzzt_succ = withInitial(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.withInitial(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
		@SafeVarargs
		public final 
		AutomatonBuilder__1 on(I firstInput,
		I... otherInputs) {
			AutomatonBuilder.this.__duzzt_impl.on(firstInput,otherInputs);
			return AutomatonBuilder.this.__duzzt_getState1();
		}


		public final 
		AutomatonBuilder__3 withProperty(TP transProp) {
			AutomatonBuilder.this.__duzzt_impl.withProperty(transProp);
			return AutomatonBuilder.this.__duzzt_getState3();
		}


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


		public final 
		AutomatonBuilder__1 on(I input) {
			AutomatonBuilder.this.__duzzt_impl.on(input);
			return AutomatonBuilder.this.__duzzt_getState1();
		}


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

		public final 
		AutomatonBuilder__2 to(java.lang.Object stateId) {
			AutomatonBuilder.this.__duzzt_impl.to(stateId);
			return AutomatonBuilder.this.__duzzt_getState2();
		}
		@SafeVarargs
		public final 
		AutomatonBuilder__2 to(java.lang.Object stateId, java.lang.Object... stateIds) {
			AutomatonBuilder__2 __duzzt_succ = to(stateId);
			for(java.lang.Object __duzzt_varargs_elem : stateIds) {
				__duzzt_succ.to(__duzzt_varargs_elem);
			}
			return __duzzt_succ;
		}
		@SafeVarargs
		public final 
		AutomatonBuilder__0 from(java.lang.Object firstStateId,
		java.lang.Object... otherStateIds) {
			AutomatonBuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
			return AutomatonBuilder.this.__duzzt_getState0();
		}

	}
	private AutomatonBuilder__2 __duzzt_state2 = null;
	private AutomatonBuilder__2 __duzzt_getState2() {
		if(this.__duzzt_state2 == null) {
			this.__duzzt_state2 = new AutomatonBuilder__2();
		}
		return this.__duzzt_state2;
	}


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

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

	AutomatonBuilder(net.automatalib.util.automata.builders.AutomatonBuilderImpl implementation) {
		this.__duzzt_impl = implementation;
	}

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

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

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


	public final 
	AutomatonBuilder withStateProperty(SP stateProperty,
	java.lang.Object stateId) {
		AutomatonBuilder.this.__duzzt_impl.withStateProperty(stateProperty,stateId);
		return AutomatonBuilder.this;
	}
	@SafeVarargs
	public final 
	AutomatonBuilder withStateProperty(SP stateProperty,
	java.lang.Object stateId, java.lang.Object... stateIds) {
		AutomatonBuilder __duzzt_succ = withStateProperty(stateProperty,stateId);
		for(java.lang.Object __duzzt_varargs_elem : stateIds) {
			__duzzt_succ.withStateProperty(stateProperty, __duzzt_varargs_elem);
		}
		return __duzzt_succ;
	}
	@SafeVarargs
	public final 
	AutomatonBuilder__0 from(java.lang.Object firstStateId,
	java.lang.Object... otherStateIds) {
		AutomatonBuilder.this.__duzzt_impl.from(firstStateId,otherStateIds);
		return AutomatonBuilder.this.__duzzt_getState0();
	}

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy