/*! 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) });