context model::components::LoginHandler ERROR "A login handler of type DOMAIN_OBJECT must have at least one incoming parameter of type DomainAttribute":
type != model::components::LoginHandlerTypes::DOMAIN_OBJECT ||
context model::components::LoginHandler ERROR "All incoming DomainAttribute parameters for a DOMAIN_OBJECT LoginHandler must belong to the same DomainType":
type != model::components::LoginHandlerTypes::DOMAIN_OBJECT ||
context model::ECARule WARNING "This ECA Rule will not do anything: consider naming it 'onClick'" :
!(model::VisibleThing.isInstance(trigger) && !(name == "click" || name == "onClick"));
context model::Value WARNING "A session value used as part of a login handler should have a default value set, otherwise secure frames will crash with an exception rather than going to the login frame" :
(eContainer != null && model::Changeable.isInstance(eContainer) && name == "not empty");
context model::operations::Arithmetic ERROR "Arithmetic must have at least one incoming data source edge" :
inFlows.size > 0;
context model::components::Gate ERROR "An entry Gate needs to have at least one incoming Condition, one outgoing RequiresEdge, or one outgoing 'first' rule, or it will never permit access" :
!model::Scope.isInstance(eContainer)
|| ((model::Scope) eContainer).entryGate != this
|| (conditions.size >= 1
|| outRequiresEdges.size >= 1
|| listeners.exists(w | w.name == "first"));
context model::components::Gate ERROR "An exit Gate needs to have at least one incoming Condition, or one outgoing 'last' rule, or it will never permit access" :
!model::Scope.isInstance(eContainer)
|| ((model::Scope) eContainer).exitGate != this
|| (conditions.size >= 1
|| listeners.exists(w | w.name == "last"));
context model::components::Gate ERROR "An entry Gate needs to have at least one outgoing ECARule" :
!model::Scope.isInstance(eContainer)
|| ((model::Scope) eContainer).entryGate != this
|| !listeners.isEmpty;
context model::components::Gate ERROR "An exit Gate needs to have at least one outgoing ECARule" :
!model::Scope.isInstance(eContainer)
|| ((model::Scope) eContainer).exitGate != this
|| !listeners.isEmpty;
context model::operations::DecisionNode ERROR "A 'can cast?' DecisionNode needs to have an incoming DataFlowEdge from a CastNode" :
context model::operations::CastNode ERROR "A CastNode needs exactly one incoming data flow edge, had: " + inFlows.size :
inFlows.size == 1;
/**
* To quickly identify problems related to issue 170: making an explicit Property called 'fieldValue'
*/
context model::ContainsValues WARNING "You should not have a contained Property named 'fieldValue', unless it is contained within the fieldValue containment feature" :
* A 'login' ECARule for an AccessControlHandler should not be in the
* same Scope as the handler; this will cause an infinite redirection,
* as the login page can never be accessed.
*/
context model::ECARule ERROR "A 'login' ECARule for an AccessControlHandler should not be in the same Scope as the handler; this will cause an infinite redirection, as the login page can never be accessed." :
context model::ActionEdgeSource ERROR "Some of the ECARules defined for this trigger may not be executed, as an unconditional navigation will occur due to the priority order, halting ECARule execution" :
model::components::LoginHandler.isInstance(this) || /* LoginHandlers are designed to have multiple ECA rules */
context model::ComplexTerm ERROR "Parameter edge defined a named parameter that was not defined in the function, expected: (" + function.slotNames + "), was: (" + inParameterEdges.name + ")":
