32 lines
765 B
TypeScript
32 lines
765 B
TypeScript
|
import Activity from './Activity';
|
||
|
|
import Transition from './Transition';
|
||
|
|
declare class Procedure {
|
||
|
|
name: string;
|
||
|
|
uri: string;
|
||
|
|
activities: {
|
||
|
|
[key: string]: Activity;
|
||
|
|
};
|
||
|
|
local_inits: {
|
||
|
|
[key: string]: string;
|
||
|
|
};
|
||
|
|
param_inits: {
|
||
|
|
[key: string]: string;
|
||
|
|
};
|
||
|
|
transitions: {
|
||
|
|
[key: string]: Transition[];
|
||
|
|
};
|
||
|
|
exceptions: {
|
||
|
|
[key: string]: Transition[];
|
||
|
|
};
|
||
|
|
procedureConstructor: any;
|
||
|
|
constructor(name: string, uri: string, local_inits: {
|
||
|
|
[key: string]: string;
|
||
|
|
}, param_inits: {
|
||
|
|
[key: string]: string;
|
||
|
|
});
|
||
|
|
add_transition(transition: Transition): void;
|
||
|
|
add_activity(activity: Activity): void;
|
||
|
|
toBehaviorifyable(): any;
|
||
|
|
}
|
||
|
|
export default Procedure;
|