Code

Add export to SysML and to PlantUML#34

Code

Draft

podhrmic wants to merge 75 commits intogsdlab:mastergsdlab/chocosolver:masterfrom GaloisInc:feature/sysmlGaloisInc/chocosolver:feature/sysmlCopy head branch name to clipboard

+2,487-40

Commits

Commits on Feb 22, 2023

• add printSysml optional to instance model and a CLI option to get started

  EthanJamesLew

  committed
  1fd6af3

  Copy full SHA for 1fd6af3

Commits on Feb 23, 2023

• start the sysml ast for compilation

  EthanJamesLew

  committed
  2fcd404

  Copy full SHA for 2fcd404

• add visitor for pretty printer

  EthanJamesLew

  committed
  4eb4c88

  Copy full SHA for 4eb4c88

• pprint sysml example

  EthanJamesLew

  committed
  aaf29a8

  Copy full SHA for aaf29a8

• restructure for instance compiler, add ast package

  EthanJamesLew

  committed
  3d1870d

  Copy full SHA for 3d1870d

Commits on Feb 28, 2023

• change compiler to use multiplicity, part def

  EthanJamesLew

  committed
  34e9de6

  Copy full SHA for 34e9de6

• add SysmlAnnotation and pretty print annotations from the CLaferInstance

  EthanJamesLew

  committed
  e527bbd

  Copy full SHA for e527bbd

• add a Clafer AST -> Sysml compiler

  EthanJamesLew

  committed
  9d872f8

  Copy full SHA for 9d872f8

• allow Instance compiler to return null if no Sysml concepts are referenced, make a SysmlCompilerUtils for shared code between the Sysml compilers

  EthanJamesLew

  committed
  83531fa

  Copy full SHA for 83531fa

• hoist getSuperClafers to the compiler utils

  EthanJamesLew

  committed
  8c878d6

  Copy full SHA for 8c878d6

Commits on Mar 1, 2023

• address emptyblocktag

  EthanJamesLew

  committed
  d02d62d

  Copy full SHA for d02d62d

• remove the bad exception handling

  EthanJamesLew

  committed
  9c97f20

  Copy full SHA for 9c97f20

• allow visit to throw IOException

  EthanJamesLew

  committed
  95b84d7

  Copy full SHA for 95b84d7

• add maven CI/CD

  EthanJamesLew

  committed
  3d8f352

  Copy full SHA for 3d8f352

• fix unhandled exception catching and null dereference issue

  EthanJamesLew

  committed
  a48271d

  Copy full SHA for a48271d

• remove travis CI/CD

  EthanJamesLew

  committed
  487755b

  Copy full SHA for 487755b

• run maven CI/CD on push

  EthanJamesLew

  committed
  e79d0db

  Copy full SHA for e79d0db

• bump Maven Dependency Tree Dependency Submission action

  EthanJamesLew

  committed
  f739f18

  Copy full SHA for f739f18

• remove dependency graph upload for now

  EthanJamesLew

  committed
  f54dd17

  Copy full SHA for f54dd17

• update CI/CD badge

  EthanJamesLew

  committed
  29bd949

  Copy full SHA for 29bd949

Commits on Mar 12, 2023

• add plantuml package and start adding the ast classes / interfaces

  EthanJamesLew

  committed
  3c70b75

  Copy full SHA for 3c70b75

• add plantuml to cli inputs and check for conflicting options

  EthanJamesLew

  committed
  1044332

  Copy full SHA for 1044332

• flesh out compile and pprinter interfaces

  EthanJamesLew

  committed
  9205f45

  Copy full SHA for 9205f45

• add fields to the plantuml ast

  EthanJamesLew

  committed
  204c102

  Copy full SHA for 204c102

Commits on Mar 13, 2023

• pretty print objects

  EthanJamesLew

  committed
  3ff20d6

  Copy full SHA for 3ff20d6

• add basic connections compilation

  EthanJamesLew

  committed
  25138b5

  Copy full SHA for 25138b5

• add labels, support or and xor

  EthanJamesLew

  committed
  b912367

  Copy full SHA for b912367

• close dataStream to properly handle dynamic allocation

  EthanJamesLew

  committed
  ffe9904

  Copy full SHA for ffe9904

• make or arrowhead a filled shape

  EthanJamesLew

  committed
  1eaae94

  Copy full SHA for 1eaae94

• make mandatory arrowhead for multiplicity one features

  EthanJamesLew

  committed
  c4193df

  Copy full SHA for c4193df

• fold refs into object attributes

  EthanJamesLew

  committed
  1c8438a

  Copy full SHA for 1c8438a

• remove Optimizing message for plantuml (which does not optimize)

  EthanJamesLew

  committed
  ab5bea8

  Copy full SHA for ab5bea8

• fix confusing renaming assignment

  EthanJamesLew

  committed
  71e9e85

  Copy full SHA for 71e9e85

Commits on Mar 15, 2023

• Minor tweaks for prettier diagrams

  podhrmic

  committed
  a81d951

  Copy full SHA for a81d951

• Added annotations for the TOML config file

  podhrmic

  committed
  a8062df

  Copy full SHA for a8062df

• add config toml to input argparse, create builder that can be built from the toml

  EthanJamesLew

  committed
  fa64280

  Copy full SHA for fa64280

• add levels, superClafers, constraints include fields

  EthanJamesLew

  committed
  57fc8a5

  Copy full SHA for 57fc8a5

• implement level, blacklist--update tomlj

  EthanJamesLew

  committed
  9152193

  Copy full SHA for 9152193

Commits on Mar 16, 2023

• clean up the label, arrowhead code, add super_clafers_components to optionally print superClafer information

  EthanJamesLew

  committed
  04fcb3b

  Copy full SHA for 04fcb3b

• revert pom.xml maven plugins config

  EthanJamesLew

  committed
  284682b

  Copy full SHA for 284682b

• Replace stream API with a loop (recommended by IntelliJ) so it works with OpenJDK 11

  podhrmic

  committed
  9fcec60

  Copy full SHA for 9fcec60

• Add an optional plantuml header

  podhrmic

  committed
  1a64eb4

  Copy full SHA for 1a64eb4

• Handle null header case better

  podhrmic

  committed
  71dddf8

  Copy full SHA for 71dddf8

• Added examples from ClaferMOOVisualizer

  podhrmic

  committed
  2baf043

  Copy full SHA for 2baf043

• Merge branch 'feature/plantuml' into 'feature/sysml'

  Show description for 3c2b96c
  EthanJamesLew

  committed
  3c2b96c

  Copy full SHA for 3c2b96c

• Added CI file

  podhrmic

  committed
  0203d9e

  Copy full SHA for 0203d9e

Commits on Mar 17, 2023

• Enable CI

  podhrmic

  committed
  75e8fe0

  Copy full SHA for 75e8fe0

• Merge branch 'feature/CI-tweaks' into 'feature/sysml'

  Show description for 4371767
  podhrmic

  committed
  4371767

  Copy full SHA for 4371767

Commits on Mar 29, 2023

• add alias and parent to PlantUML AST, update compiler and pretty printer to use them

  EthanJamesLew

  committed
  973ba30

  Copy full SHA for 973ba30

• Merge branch 'feature/plantuml-alias' into 'feature/sysml'

  Show description for 10bdc5e
  podhrmic

  committed
  10bdc5e

  Copy full SHA for 10bdc5e

• Add sysml output to CI tests

  podhrmic

  committed
  5843cdf

  Copy full SHA for 5843cdf

• switch base sysml clafer name to reflect update in identifier generation

  EthanJamesLew

  committed
  ea224c1

  Copy full SHA for ea224c1

• Add sysml output to CI tests

  podhrmic

  committed
  3fdeaed

  Copy full SHA for 3fdeaed

• Merge branch 'quickfix/sysml-compiler-qual' into 'feature/sysml'

  Show description for 5e13c32
  podhrmic

  committed
  5e13c32

  Copy full SHA for 5e13c32

Commits on Mar 30, 2023

• Fix Bad Identifier Generation for SysMLv2 Compiler

  

  EthanJamesLew

  authored and

  podhrmic

  committed
  09ffa0b

  Copy full SHA for 09ffa0b

• Merge branch 'quickfix/sysml-compiler-qual-2' into 'feature/sysml'

  Show description for 1876087
  podhrmic

  committed
  1876087

  Copy full SHA for 1876087

• CI-fixes

  podhrmic

  committed
  ae7ee03

  Copy full SHA for ae7ee03

• Merge branch 'ci-fixes' into 'feature/sysml'

  Show description for 7c3aa8f
  podhrmic

  committed
  7c3aa8f

  Copy full SHA for 7c3aa8f

Commits on Apr 4, 2023

• increment index inside of sysml loop

  EthanJamesLew

  committed
  b2dc4c7

  Copy full SHA for b2dc4c7

• Merge branch 'bugfix/limit-instances' into 'feature/sysml'

  Show description for 02f8f08
  podhrmic

  committed
  02f8f08

  Copy full SHA for 02f8f08

Commits on Oct 24, 2023

• Change the runner label from docker to stardust as recommended by the IT

  podhrmic

  committed
  f1d678a

  Copy full SHA for f1d678a

Commits on Jan 8, 2024

• add .m2/repository to cache and add a deploy job on tagged commits

  EthanJamesLew

  committed
  5a900d9

  Copy full SHA for 5a900d9

• Merge branch 'feature/ci-cd-deploy' into 'feature/sysml'

  Show description for d047f8a
  EthanJamesLew

  committed
  d047f8a

  Copy full SHA for d047f8a

• change placeholder name to the correct jar file

  EthanJamesLew

  committed
  9532e4c

  Copy full SHA for 9532e4c

• Merge branch 'feature/ci-cd-deploy' into 'feature/sysml'

  Show description for cae0c29
  EthanJamesLew

  committed
  cae0c29

  Copy full SHA for cae0c29

Commits on Jan 12, 2024

• change deploy to require the build stage, remove non-existent cache path

  EthanJamesLew

  committed
  8ba10b6

  Copy full SHA for 8ba10b6

• Merge branch 'bugfix/ci-cd-release' into 'feature/sysml'

  Show description for 288ba65
  EthanJamesLew

  committed
  288ba65

  Copy full SHA for 288ba65

Commits on Apr 18, 2024

• Build MVN package workflow

  podhrmic

  committed
  b5b99ba

  Copy full SHA for b5b99ba

• Comment out act specific setup

  podhrmic

  committed
  ceb037a

  Copy full SHA for ceb037a

• Added sysml export test

  podhrmic

  committed
  618d154

  Copy full SHA for 618d154

• Update system path

  podhrmic

  committed
  64faada

  Copy full SHA for 64faada

Commits on Apr 19, 2024

• Add PlantUML job

  podhrmic

  committed
  a85d627

  Copy full SHA for a85d627

• Attempt to debug the pipeline

  podhrmic

  committed
  15b6a36

  Copy full SHA for 15b6a36

• Another debugging attempt

  podhrmic

  committed
  f32c12b

  Copy full SHA for f32c12b

• Fix the CI (#2)

  Show description for 345c299
  podhrmic

  authored
  345c299

  Copy full SHA for 345c299