/* Ċ Ġ* ĠCopyright Ġ 2 0 1 5 ĠUnited ĠStates ĠGovernment , Ġas Ġrepresented Ġby Ġthe ĠAdministrator Ċ Ġ* ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġof Ġthe ĠNational ĠA eron aut ics Ġand ĠSpace ĠAdmin istration . ĠAll ĠRights ĠReserved . Ċ Ġ* ĠĠĠĠĠĠĠĠĠĠĠ 2 0 1 7 - 2 0 2 1 ĠThe Ġj Constraints ĠAuthors Ċ Ġ* ĠSPDX - License - Identifier : ĠApache - 2 . 0 Ċ Ġ* Ċ Ġ* ĠLicensed Ġunder Ġthe ĠApache ĠLicense , ĠVersion Ġ 2 . 0 Ġ( the Ġ" License "); Ċ Ġ* Ġyou Ġmay Ġnot Ġuse Ġthis Ġfile Ġexcept Ġin Ġcompliance Ġwith Ġthe ĠLicense . Ċ Ġ* ĠYou Ġmay Ġobtain Ġa Ġcopy Ġof Ġthe ĠLicense Ġat Ċ Ġ* Ċ Ġ* Ġhttp :// www . apache . org / licenses / LICENSE - 2 . 0 Ċ Ġ* Ċ Ġ* ĠUnless Ġrequired Ġby Ġapplicable Ġlaw Ġor Ġagreed Ġto Ġin Ġwriting , Ġsoftware Ċ Ġ* Ġdistributed Ġunder Ġthe ĠLicense Ġis Ġdistributed Ġon Ġan Ġ" AS ĠIS " ĠBASIS , Ċ Ġ* ĠWITHOUT ĠWARRANTIES ĠOR ĠCONDITIONS ĠOF ĠANY ĠKIND , Ġeither Ġexpress Ġor Ġimplied . Ċ Ġ* ĠSee Ġthe ĠLicense Ġfor Ġthe Ġspecific Ġlanguage Ġgoverning Ġpermissions Ġand Ċ Ġ* Ġlimitations Ġunder Ġthe ĠLicense . Ċ Ġ*/ Ċ Ċ import Ġorg . w 3 c . dom . Node Ċ Ċ plugins Ġ{ ĊĠĠĠ Ġid (" tools . a qua . j constraints . java - fat jar - convention ") ĊĠĠĠ Ġantlr ĊĠĠĠ Ġid (" com . github . john ren gel man . shadow ") Ċ } Ċ Ċ group Ġ= Ġ" tools . a qua " Ċ version Ġ= Ġ" 0 . 9 . 6 - SNAPSHOT " Ċ description Ġ= Ġ" j Constraints Ġis Ġa Ġlibrary Ġfor Ġmanaging ĠS MT Ġconstraints Ġin ĠJava " Ċ Ċ dependencies Ġ{ ĊĠĠĠ Ġantlr (" org . antlr : antlr : 3 . 5 . 2 ") ĊĠĠĠ Ġapi (" com . google . gu ava : gu ava : 3 0 . 1 - jre ") ĊĠĠĠ Ġimplementation (" com . github . t udo - a qua : j S MT LIB : 5 c 1 1 ee 5 ") ĊĠĠĠ Ġimplementation (" commons - cli : commons - cli : 1 . 4 ") ĊĠĠĠ Ġapi (" dk . br ics : autom aton : 1 . 1 2 - 1 ") ĊĠĠĠ Ġimplementation (" org . antlr : antlr - runtime : 3 . 5 . 2 ") ĊĠĠĠ Ġapi (" org . apache . commons : commons - math 3 : 3 . 6 . 1 ") Ċ } Ċ Ċ tasks Ġ{ ĊĠĠĠ Ġshadow Jar Ġ{ ĊĠĠĠĠĠĠĠ Ġarchive Classifier . set (" with - smt lib ") ĊĠĠĠĠĠĠĠ Ġdependencies Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġinclude ( dependency (" com . github . t udo - a qua : j S MT LIB : 5 c 1 1 ee 5 ")) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġassemble Ġ{ ĊĠĠĠĠĠĠĠ Ġdepends On ( shadow Jar ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġtest Ġ{ ĊĠĠĠĠĠĠĠ Ġuse JUnit Platform Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġinclude Tags (" base ") ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ Ċ publishing Ġ{ ĊĠĠĠ Ġpublications Ġ{ ĊĠĠĠĠĠĠĠ Ġnamed < Maven Publication >(" maven Java ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġartifacts . clear () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġartifact ( tasks . shadow Jar ) Ġ{ Ġclassifier Ġ= Ġnull Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġpom Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġwith Xml Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġelem Ġ= Ġas Element () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġdependencies Ġ= Ġelem . getElementsByTagName (" artifactId ") ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġrepeat ( dependencies . length ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġdep : ĠNode ? Ġ= Ġdependencies . item ( it ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġif Ġ( dep Ġ!= Ġnull Ġ&& Ġdep . textContent Ġ== Ġ" j S MT LIB ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġdep . parentNode . parentNode . removeChild ( dep . parentNode ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ