This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<context:annotation-config /> | |
<!-- System Properties --> | |
<context:property-placeholder | |
system-properties-mode="OVERRIDE" ignore-unresolvable="true" /> | |
<!-- Externally Configured Properties --> | |
<util:list id="configLocations"> | |
<value>classpath:defaultConfig.properties</value> | |
<value>file:${externalConfiguration:}</value> | |
</util:list> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Conditions: | |
• Actionability | |
o Events: | |
• Can be completed | |
• Not Currently Completed | |
o Completed | |
o Reactivate Completed Order | |
• Not currently sent to any ancillary system | |
o Send To Ancillary System | |
o Reactivate |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* Project: continuum | |
* File: WeblogicAnnotationConfigEmbeddedWebApplicationConfiguration.java | |
* Created: Mar 31, 2017 | |
* Author: Derek Berner - derek.c.berner@vanderbilt.edu | |
* | |
* This code is copyright (c) 2017 Vanderbilt University Medical Center | |
*/ | |
package org.vumc.weblogic; | |
import com.google.common.collect.Lists; |
A type T
is a subtype of type M[X]
iff:
- There exists a function
unit
of typeX → M[X]
- There exists a function
bind
of type(M[X], X → R) → R
- For all
x:X
andf:X→R
:bind(unit(x),f) ≡ f(x)
The natural inclination is to ask, "What are the semantics here?" but it turns out that the semantics depend wholly on the