Интерфейс определения темы Alloy позволяет назначать индивидуальное изображение для каждой подписи. Можно выбрать изображение из списка предопределенных изображений. Но мне интересно, можно ли добавить в этот список свое собственное изображение?!
Использование настраиваемых изображений для узлов в определении темы сплава
comment
Обратите внимание, что, строго говоря, это фигуры, которые GraphViz умеет рисовать, а не изображения, используемые как есть. (Если вы заинтересованы в настройке отображения конкретных экземпляров, например, для публикации, вы можете экспортировать экземпляр в формате XML или GraphViz; затем вы можете делать с описанием экземпляра все, что хотите. Я сделал это, чтобы настроить макет. Но это, конечно, не то же самое, что визуализатор использует пользовательскую форму.)
- person C. M. Sperberg-McQueen   schedule 07.01.2015
Ответы (1)
Исходный код сплава доступен, и вы можете редактировать его по своему усмотрению. Исходный код включен в банку, которую вы используете для запуска анализатора сплавов.
Для этого нет встроенной настройки.
person
Bernardo Ferreira Bastos Braga
schedule
16.03.2015
Вам может помочь документация по Alloy API.
- person Bernardo Ferreira Bastos Braga; 20.03.2015