testoptimal.api.FSM

Class Model

java.lang.Object

testoptimal.api.FSM.Model

public class Model
extends Object

Copyright 2020 TestOptimal LLC Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Author:

Yaxiong Lin

Constructor Summary

Constructors

Constructor and Description
Model(String name_p)

Method Summary

Modifier and Type	Method and Description
State	addState(String name_p)
State	addStateFinal(String name_p)
State	addStateInitial(String name_p)
State	findState(String name_p)
static Model	fromFile(String filePath_p)
String	getName()
void	saveToFile(String filePath_p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Model

public Model(String name_p)

Method Detail

getName

public String getName()

addState

public State addState(String name_p)

addStateInitial

public State addStateInitial(String name_p)

addStateFinal

public State addStateFinal(String name_p)

findState

public State findState(String name_p)

saveToFile

public void saveToFile(String filePath_p)
                throws Exception

Throws:

Exception

fromFile

public static Model fromFile(String filePath_p)
                      throws Exception

Throws:

Exception