X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.modeling%2Fscl%2FSimantics%2FProfile.scl;h=4491c2a67dce9d81d8d88ae15e3cffac1e05ce67;hb=4bc25acb8086df68836950af08faeacd382e5427;hp=c7602f8633a0fe8324e1b2ce61008f6577a17362;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.modeling/scl/Simantics/Profile.scl b/bundles/org.simantics.modeling/scl/Simantics/Profile.scl index c7602f863..4491c2a67 100644 --- a/bundles/org.simantics.modeling/scl/Simantics/Profile.scl +++ b/bundles/org.simantics.modeling/scl/Simantics/Profile.scl @@ -1,43 +1,43 @@ -include "Simantics/Entity" hiding (nameOf) -include "Simantics/Model" -include "Simantics/Misc" - -type ProfileEntry = Resource -type RuntimeProfile = Resource - -importJava "org.simantics.modeling.ModelingUtils" where - """ - Creates a Profile with given string, returns the created profile. - """ - createProfile :: String -> [ProfileEntry] -> Resource - - """ - CreateProfileEntry name style group. - """ - createProfileEntry :: String -> Resource -> Resource -> ProfileEntry - - """ - CreateToplevelProfile model name entries. - """ - createToplevelProfile :: Model -> String -> [ProfileEntry] -> Resource - - """ - - """ - activateProfileEntries :: Resource -> [ProfileEntry] -> () - - """ - toggleProfileGroup runtimeProfile profileGroupName value - - Toggles the given `profileGroupName` in given `runtimeProfile` on or off - depending on `value` - - Example: - - toggleProfileGroup runtimeProfile "Simulated 1" True - """ - toggleProfileGroup :: RuntimeProfile -> String -> Boolean -> () - -importJava "org.simantics.diagram.profile.ElementTranslation" where - setProfileMonitorPosition :: Resource -> Double -> Double -> () +include "Simantics/Entity" hiding (nameOf) +include "Simantics/Model" +include "Simantics/Misc" + +type ProfileEntry = Resource +type RuntimeProfile = Resource + +importJava "org.simantics.modeling.ModelingUtils" where + """ + Creates a Profile with given string, returns the created profile. + """ + createProfile :: String -> [ProfileEntry] -> Resource + + """ + CreateProfileEntry name style group. + """ + createProfileEntry :: String -> Resource -> Resource -> ProfileEntry + + """ + CreateToplevelProfile model name entries. + """ + createToplevelProfile :: Model -> String -> [ProfileEntry] -> Resource + + """ + + """ + activateProfileEntries :: Resource -> [ProfileEntry] -> () + + """ + toggleProfileGroup runtimeProfile profileGroupName value + + Toggles the given `profileGroupName` in given `runtimeProfile` on or off + depending on `value` + + Example: + + toggleProfileGroup runtimeProfile "Simulated 1" True + """ + toggleProfileGroup :: RuntimeProfile -> String -> Boolean -> () + +importJava "org.simantics.diagram.profile.ElementTranslation" where + setProfileMonitorPosition :: Resource -> Double -> Double -> () resetProfileMonitorPosition :: Resource -> () \ No newline at end of file