/*! JointJS v0.9.7 - JavaScript diagramming library 2016-04-20
This Source Code Form is subject to the terms of the Mozilla Public
License, v. 2.0. If a copy of the MPL was not distributed with this
file, You can obtain one at http://mozilla.org/MPL/2.0/.
*/
joint.shapes.fsa = {};
joint.shapes.fsa.State = joint.shapes.basic.Circle.extend({
defaults: joint.util.deepSupplement({
type: 'fsa.State',
attrs: {
circle: { 'stroke-width': 3 },
text: { 'font-weight': '800' }
}
}, joint.shapes.basic.Circle.prototype.defaults)
});
joint.shapes.fsa.StartState = joint.dia.Element.extend({
markup: '',
defaults: joint.util.deepSupplement({
type: 'fsa.StartState',
size: { width: 20, height: 20 },
attrs: {
circle: {
transform: 'translate(10, 10)',
r: 10,
fill: '#000000'
}
}
}, joint.dia.Element.prototype.defaults)
});
joint.shapes.fsa.EndState = joint.dia.Element.extend({
markup: '',
defaults: joint.util.deepSupplement({
type: 'fsa.EndState',
size: { width: 20, height: 20 },
attrs: {
'.outer': {
transform: 'translate(10, 10)',
r: 10,
fill: '#ffffff',
stroke: '#000000'
},
'.inner': {
transform: 'translate(10, 10)',
r: 6,
fill: '#000000'
}
}
}, joint.dia.Element.prototype.defaults)
});
joint.shapes.fsa.Arrow = joint.dia.Link.extend({
defaults: joint.util.deepSupplement({
type: 'fsa.Arrow',
attrs: { '.marker-target': { d: 'M 10 0 L 0 5 L 10 10 z' }},
smooth: true
}, joint.dia.Link.prototype.defaults)
});