Difference between revisions of "Artefact:Template/org/ooem/templates/wiml-1.0-ooem-class-2.0"
From OOModels
< Artefact:Template | org | ooem | templates
Jump to navigationJump to search
AndreasLeue (talk | contribs) (transitions) |
AndreasLeue (talk | contribs) Tag: Manual revert |
||
(14 intermediate revisions by the same user not shown) | |||
Line 30: | Line 30: | ||
} | } | ||
▲… | ▲… | ||
⊏ signature(String wiml_code, Map<String,String> predefined_arguments, | ⊏ signature(String wiml_code, Map<String,String> page_properties, | ||
Map<String,String> predefined_arguments, | |||
Map<String,String> conversion_arguments, | Map<String,String> conversion_arguments, | ||
Map<String,String> request_arguments) ⊐… | Map<String,String> request_arguments) ⊐… | ||
Line 57: | Line 58: | ||
<TemplateParameter Name="◂‖"Ⓟ/Name"▸" «∃(‖"Ⓟ/DefaultValue"){»DefaultValue="◂((String)(⊙)).replace("/",".")▸" «}/∃»GenericLevel="IMPLEMENTATION_LANGUAGE_TEMPLATE"/> | <TemplateParameter Name="◂‖"Ⓟ/Name"▸" «∃(‖"Ⓟ/DefaultValue"){»DefaultValue="◂((String)(⊙)).replace("/",".")▸" «}/∃»GenericLevel="IMPLEMENTATION_LANGUAGE_TEMPLATE"/> | ||
⋮«}/∀»… | ⋮«}/∀»… | ||
⋮«¬∅(‖"Ⓟ/Bases"){»… | |||
< | <Bases PASS="2"> | ||
⋮«}/ | ⋮«∀(⊙){»… | ||
<BaseName>◂((String)(⊙)).replace("/",".")▸</BaseName> | |||
⋮«}/∀»… | |||
</Bases> | |||
⋮«}/¬∅»… | |||
⋮«¬∅(‖"Ⓟ/Stereotypes"){»«∀(⊙){»… | ⋮«¬∅(‖"Ⓟ/Stereotypes"){»«∀(⊙){»… | ||
<StereotypeName> | <StereotypeName>◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸</StereotypeName> | ||
⋮«}/∀»«}/¬∅»… | ⋮«}/∀»«}/¬∅»… | ||
⋮« ⇾(⊙,WIMLStateMachine) {»… | ⋮« ⇾(⊙,WIMLStateMachine) {»… | ||
<HasStateMachine>true</HasStateMachine> | |||
<StateMachine Name="TopLevel" PASS="2" TypeName="TopLevel"> | <StateMachine Name="TopLevel" PASS="2" TypeName="TopLevel"> | ||
⋮«¬∅(‖"Ⓟ/States"){»… | ⋮«¬∅(‖"Ⓟ/States"){»… | ||
Line 98: | Line 104: | ||
⋮« }/⇾ »… | ⋮« }/⇾ »… | ||
⋮«∀(‖"Ⓟ/Attributes"){if(‖"Ⓟ/Association" == null){»… | ⋮«∀(‖"Ⓟ/Attributes"){if(‖"Ⓟ/Association" == null){»… | ||
<Attribute Name="◂‖"Ⓟ/Name"▸" PASS="2" TypeName="◂((String)(‖"Ⓟ/Type")).replace("/",".")▸"«∀(‖"Ⓟ/Stereotypes"){» StereotypeName-◂Ⓘ▸=" | <Attribute Name="◂‖"Ⓟ/Name"▸" PASS="2" TypeName="◂((String)(‖"Ⓟ/Type")).replace("/",".")▸"«∀(‖"Ⓟ/Stereotypes"){» StereotypeName-◂Ⓘ▸="◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸"«}/∀»… | ||
⋮⊏ ➜ this.Extensions(object, "Attribute") ⊐… | ⋮⊏ ➜ this.Extensions(object, "Attribute", "Extensions") ⊐… | ||
⋮«}else{»… | ⋮«}else{»… | ||
<AssociationEnd PASS="2"> | <AssociationEnd PASS="2"> | ||
⋮«¬∅(‖"Ⓟ/Stereotypes"){»«∀(⊙){»… | ⋮«¬∅(‖"Ⓟ/Stereotypes"){»«∀(⊙){»… | ||
<StereotypeName> | <StereotypeName>◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸</StereotypeName> | ||
⋮«}/∀»«}/¬∅»… | ⋮«}/∀»«}/¬∅»… | ||
⋮«∃(‖"Ⓟ/OtherName"){»… | ⋮«∃(‖"Ⓟ/OtherName"){»… | ||
Line 111: | Line 117: | ||
⋮«∃(‖"Ⓟ/OtherMultiplicity"){»… | ⋮«∃(‖"Ⓟ/OtherMultiplicity"){»… | ||
<Multiplicity>◂⊙▸</Multiplicity> | <Multiplicity>◂⊙▸</Multiplicity> | ||
< | <Navigability>true</Navigability> | ||
⋮«}∨{»… | ⋮«}∨{»… | ||
<Multiplicity>1</Multiplicity> | <Multiplicity>1</Multiplicity> | ||
<Navigability>false</Navigability> | <Navigability>false</Navigability> | ||
⋮«}/∃»… | ⋮«}/∃»… | ||
⋮«●(‖"Ⓟ/Ends/1"){»⊏ ➜ this.Extensions(object, null) ⊐«}/●»… | ⋮«●(‖"Ⓟ/Ends/1"){»⊏ ➜ this.Extensions(object, null, "Extensions") ⊐«}/●»… | ||
<OtherRole>◂‖"Ⓟ/Name"▸</OtherRole> | <OtherRole>◂‖"Ⓟ/Name"▸</OtherRole> | ||
<OtherTypeName>◂((String)(‖"Ⓟ/Type")).replace("/",".")▸</OtherTypeName> | <OtherTypeName>◂((String)(‖"Ⓟ/Type")).replace("/",".")▸</OtherTypeName> | ||
<OtherMultiplicity>◂‖"Ⓟ/Multiplicity"▸</OtherMultiplicity> | <OtherMultiplicity>◂‖"Ⓟ/Multiplicity"▸</OtherMultiplicity> | ||
<OtherNavigability>true</OtherNavigability> | <OtherNavigability>true</OtherNavigability> | ||
⋮«●(‖"Ⓟ/Ends/0"){»⊏ ➜ this.Extensions(object, null) ⊐«}/●»… | ⋮«●(‖"Ⓟ/Ends/0"){»⊏ ➜ this.Extensions(object, null, "OtherExtensions") ⊐«}/●»… | ||
⋮⊏ ➜ this.Extensions(object, null) ⊐… | ⋮⊏ ➜ this.Extensions(object, null, "Extensions") ⊐… | ||
</AssociationEnd> | </AssociationEnd> | ||
⋮«}}/∀»… | ⋮«}}/∀»… | ||
⋮«∀(‖"Ⓟ/Operations"){»… | ⋮«∀(‖"Ⓟ/Operations"){»… | ||
⋮« ⇾(⊙,WIMLTransition) { }/⇾ »… | ⋮« ⇾(⊙,WIMLTransition) { }/⇾ »… | ||
<Operation Name="◂‖"Ⓟ/Name"▸" OID="O_◂‖"Ⓟ/Name"▸" ReturnType="◂‖"Ⓟ/ReturnType"▸"«∀(‖"Ⓟ/Stereotypes"){» StereotypeName-◂Ⓘ▸=" | <Operation Name="◂‖"Ⓟ/Name"▸" OID="O_◂‖"Ⓟ/Name"▸" ReturnType="◂‖"Ⓟ/ReturnType"▸"«∀(‖"Ⓟ/Stereotypes"){» StereotypeName-◂Ⓘ▸="◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸"«}/∀»… | ||
⋮⊰« ⇾(⊙,WIMLTransition) {»«¬∅(‖"Ⓟ/BeforeStateExpression"){» BeforeStates="◂⊙▸"«}/¬∅»« }/⇾ »⊱… | ⋮⊰« ⇾(⊙,WIMLTransition) {»«¬∅(‖"Ⓟ/BeforeStateExpression"){» BeforeStates="◂⊙▸"«}/¬∅»« }/⇾ »⊱… | ||
⋮⊏ ➜ this.Extensions(object, "Operation") ⊐… | ⋮⊏ ➜ this.Extensions(object, "Operation", "Extensions") ⊐… | ||
⋮«}/∀»… | ⋮«}/∀»… | ||
⋮«∀(‖"Ⓟ/Views"){»… | ⋮«∀(‖"Ⓟ/Views"){»… | ||
<View Name="◂‖"Ⓟ/Name"▸" «¬∅(‖"Ⓟ/Stereotypes"){» StereotypeName="«∀(⊙){ | <View Name="◂‖"Ⓟ/Name"▸" «¬∅(‖"Ⓟ/Stereotypes"){» StereotypeName="«∀(⊙){»◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸«}/∀»"«}/¬∅» CLASS="UMLView_SlotSpecification"> | ||
<ClassOfView>◂‖[wc]"Ⓟ/Name"▸</ClassOfView> | <ClassOfView>◂‖[wc]"Ⓟ/Name"▸</ClassOfView> | ||
⋮⊏ ➜ this.Extensions(object, null) ⊐… | ⋮⊏ ➜ this.Extensions(object, null, "Extensions") ⊐… | ||
⋮«∀(‖"Ⓟ/SlotSpecifications"){»… | ⋮«∀(‖"Ⓟ/SlotSpecifications"){»… | ||
<SlotSpecification Name="◂‖"Ⓟ/Name"▸" Visibility="◂‖"Ⓟ/Visibility"▸" Attributes="◂‖"Ⓟ/Attributes"▸" Associations="◂‖"Ⓟ/Associations"▸" Operations="◂‖"Ⓟ/Operations"▸" Expand="◂‖"Ⓟ/Expand"▸"> | <SlotSpecification Name="◂‖"Ⓟ/Name"▸" Visibility="◂‖"Ⓟ/Visibility"▸" Attributes="◂‖"Ⓟ/Attributes"▸" Associations="◂‖"Ⓟ/Associations"▸" Operations="◂‖"Ⓟ/Operations"▸" Expand="◂‖"Ⓟ/Expand"▸"> | ||
Line 145: | Line 151: | ||
</View> | </View> | ||
⋮«}/∀»… | ⋮«}/∀»… | ||
⋮⊏ ➜ this.Extensions(object, null) ⊐… | ⋮⊏ ➜ this.Extensions(object, null, "Extensions") ⊐… | ||
</Class> | </Class> | ||
«/¶»… | «/¶»… | ||
Line 156: | Line 162: | ||
throw osc; | throw osc; | ||
} »… | } »… | ||
⊏ Ⓣ Extensions(Object object, String element) ⊐… | ⊏ Ⓣ Extensions(Object object, String element, String tag) ⊐… | ||
⋮«➀:(e)»… | ⋮«➀:(e)»… | ||
⋮«➀:(x)»… | ⋮«➀:(x)»… | ||
Line 172: | Line 178: | ||
⋮«¬∅(‖"Ⓟ/Extensions"){»… | ⋮«¬∅(‖"Ⓟ/Extensions"){»… | ||
⋮«∀(⊙){»… | ⋮«∀(⊙){»… | ||
⋮«if(((String)(‖"Ⓟ/Name")). | ⋮«if(((String)(‖"Ⓟ/Name")).matches("UML\u007CWIML") == false){»… | ||
⋮«➀(e){if(element!=null){»> | ⋮«➀(e){if(element!=null){»> | ||
⋮«}}/➀»… | ⋮«}}/➀»… | ||
⋮«➀(x){» | ⋮«➀(x){» | ||
< | <◂tag▸> | ||
⋮«}/➀»… | ⋮«}/➀»… | ||
<Extension CLASS="OOEMExtension_OCP_XML"> | <Extension CLASS="OOEMExtension_OCP_XML"> | ||
Line 199: | Line 205: | ||
⋮«}/¬∅»… | ⋮«}/¬∅»… | ||
⋮«¬➀(x){»… | ⋮«¬➀(x){»… | ||
</ | </◂tag▸> | ||
⋮«}/¬➀»… | ⋮«}/¬➀»… | ||
⋮«if(element!=null){»… | ⋮«if(element!=null){»… |
Latest revision as of 15:05, 10 February 2022
Classification | |
---|---|
Type | Type:org/oogenerator/Template/2.0 |
Domain | Domain:it/development/formatting |
Category | Type:org/oomodels/wiki/Template |
Maturity | final |
More | |
Download Code | |
Namespace (more) | |
OOEM main package | |
create new pages |
Code[edit]
G-2.0-java_jppi-1.0 -*- coding: utf-8; -*- ▼… import org.oomodels.wiml.*; import java.util.Map; import java.util.Vector; ▼… ▲… public Vector<String> getStatesInRegion(String expression, String region) { Vector<String> result = new Vector<String>(); for (String term : expression.split("\\\u007C\\\u007C")) { String[] t = term.split("="); if (t.length > 1) { if (t[0].equals(region)) { result.add(t[1]); } } else { if ("main".equals(region)) { result.add(t[0]); } } } return result; } ▲… ⊏ signature(String wiml_code, Map<String,String> page_properties, Map<String,String> predefined_arguments, Map<String,String> conversion_arguments, Map<String,String> request_arguments) ⊐… « WIMLClass wc; try { wc = WIMLClass.parseWIML(wiml_code); object = wc; boolean has_associations = false; if (wc == null) { throw new org.oomodels.OOMStatusCode(204); } else { boolean complete_xml = "true".equals(predefined_arguments.get("CompleteXMLDocument")); String xmlns = complete_xml ? " xmlns=\"http://xmlns.sphenon.com/org/ooem\"" : ""; String indent = complete_xml ? "" : " "; »… «if(complete_xml) {»… ⋮<?xml version="1.0" encoding="UTF-8" standalone="yes"?> «}»… «¶(indent)»… <Class> <Name>◂conversion_arguments.get("page").replaceFirst("Artefact:Model/","").replace("/",".")▸</Name> ⋮«∀(‖"Ⓟ/ModelTemplateArguments"){»… <TemplateParameter Name="◂‖"Ⓟ/Name"▸" «∃(‖"Ⓟ/DefaultValue"){»DefaultValue="◂((String)(⊙)).replace("/",".")▸" «}/∃»GenericLevel="MODEL_TEMPLATE"/> ⋮«}/∀»… ⋮«∀(‖"Ⓟ/CodeGeneratorTemplateArguments"){»… <TemplateParameter Name="◂‖"Ⓟ/Name"▸" «∃(‖"Ⓟ/DefaultValue"){»DefaultValue="◂((String)(⊙)).replace("/",".")▸" «}/∃»GenericLevel="CODE_GENERATOR_TEMPLATE"/> ⋮«}/∀»… ⋮«∀(‖"Ⓟ/ImplementationLanguageTemplateArguments"){»… <TemplateParameter Name="◂‖"Ⓟ/Name"▸" «∃(‖"Ⓟ/DefaultValue"){»DefaultValue="◂((String)(⊙)).replace("/",".")▸" «}/∃»GenericLevel="IMPLEMENTATION_LANGUAGE_TEMPLATE"/> ⋮«}/∀»… ⋮«¬∅(‖"Ⓟ/Bases"){»… <Bases PASS="2"> ⋮«∀(⊙){»… <BaseName>◂((String)(⊙)).replace("/",".")▸</BaseName> ⋮«}/∀»… </Bases> ⋮«}/¬∅»… ⋮«¬∅(‖"Ⓟ/Stereotypes"){»«∀(⊙){»… <StereotypeName>◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸</StereotypeName> ⋮«}/∀»«}/¬∅»… ⋮« ⇾(⊙,WIMLStateMachine) {»… <HasStateMachine>true</HasStateMachine> <StateMachine Name="TopLevel" PASS="2" TypeName="TopLevel"> ⋮«¬∅(‖"Ⓟ/States"){»… ⋮«java.util.HashSet names = new java.util.HashSet(); ∀(⊙){ String name = ‖<String>"Ⓟ/1"; names.add(name); }/∀ »… ⋮«∀(-name:names){»… <Region Name="◂name▸"> ⋮«∀(⊙){»… ⋮«if(name.equals((String) (‖"Ⓟ/1"))){»… <State Name="◂‖"Ⓟ/0"▸" OID="S_◂name▸_◂‖"Ⓟ/0"▸" TypeName="«∃(‖"Ⓟ/2"){»◂⊙▸«}∨{»None«}/∃»"/> ⋮«}»… ⋮«}/∀»… ⋮«∀(-o:‖[wc]"Ⓟ/Operations"){»… ⋮« ⇾(o,WIMLTransition) { »… ⋮«➀:(state_in_region)»… ⋮«∀(-sir:getStatesInRegion(((String)(‖[o]"Ⓟ/BeforeStateExpression")), (String) name)){»… ⋮«➀(state_in_region){»… <Transition> <Operation IDREF="O_◂‖[o]"Ⓟ/Name"▸"/> <SourceStates> ⋮«}/➀»… <State IDREF="S_◂name▸_◂sir▸"/> ⋮«}/∀»… ⋮«¬➀(state_in_region){»… </SourceStates> <TargetStates/> </Transition> ⋮«}/¬➀»… ⋮« }/⇾ »… ⋮«}/∀»… </Region> ⋮«}/∀»… ⋮«}/¬∅»… </StateMachine> ⋮« }/⇾ »… ⋮«∀(‖"Ⓟ/Attributes"){if(‖"Ⓟ/Association" == null){»… <Attribute Name="◂‖"Ⓟ/Name"▸" PASS="2" TypeName="◂((String)(‖"Ⓟ/Type")).replace("/",".")▸"«∀(‖"Ⓟ/Stereotypes"){» StereotypeName-◂Ⓘ▸="◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸"«}/∀»… ⋮⊏ ➜ this.Extensions(object, "Attribute", "Extensions") ⊐… ⋮«}else{»… <AssociationEnd PASS="2"> ⋮«¬∅(‖"Ⓟ/Stereotypes"){»«∀(⊙){»… <StereotypeName>◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸</StereotypeName> ⋮«}/∀»«}/¬∅»… ⋮«∃(‖"Ⓟ/OtherName"){»… <Role>◂⊙▸</Role> ⋮«}/∃»… <!-- <TypeName>◂‖[wc]"Ⓟ/Name"▸</TypeName> --> ⋮«∃(‖"Ⓟ/OtherMultiplicity"){»… <Multiplicity>◂⊙▸</Multiplicity> <Navigability>true</Navigability> ⋮«}∨{»… <Multiplicity>1</Multiplicity> <Navigability>false</Navigability> ⋮«}/∃»… ⋮«●(‖"Ⓟ/Ends/1"){»⊏ ➜ this.Extensions(object, null, "Extensions") ⊐«}/●»… <OtherRole>◂‖"Ⓟ/Name"▸</OtherRole> <OtherTypeName>◂((String)(‖"Ⓟ/Type")).replace("/",".")▸</OtherTypeName> <OtherMultiplicity>◂‖"Ⓟ/Multiplicity"▸</OtherMultiplicity> <OtherNavigability>true</OtherNavigability> ⋮«●(‖"Ⓟ/Ends/0"){»⊏ ➜ this.Extensions(object, null, "OtherExtensions") ⊐«}/●»… ⋮⊏ ➜ this.Extensions(object, null, "Extensions") ⊐… </AssociationEnd> ⋮«}}/∀»… ⋮«∀(‖"Ⓟ/Operations"){»… ⋮« ⇾(⊙,WIMLTransition) { }/⇾ »… <Operation Name="◂‖"Ⓟ/Name"▸" OID="O_◂‖"Ⓟ/Name"▸" ReturnType="◂‖"Ⓟ/ReturnType"▸"«∀(‖"Ⓟ/Stereotypes"){» StereotypeName-◂Ⓘ▸="◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸"«}/∀»… ⋮⊰« ⇾(⊙,WIMLTransition) {»«¬∅(‖"Ⓟ/BeforeStateExpression"){» BeforeStates="◂⊙▸"«}/¬∅»« }/⇾ »⊱… ⋮⊏ ➜ this.Extensions(object, "Operation", "Extensions") ⊐… ⋮«}/∀»… ⋮«∀(‖"Ⓟ/Views"){»… <View Name="◂‖"Ⓟ/Name"▸" «¬∅(‖"Ⓟ/Stereotypes"){» StereotypeName="«∀(⊙){»◂((String)⊙).replaceFirst("org/ooem/stereotypes/.*/","")▸«}/∀»"«}/¬∅» CLASS="UMLView_SlotSpecification"> <ClassOfView>◂‖[wc]"Ⓟ/Name"▸</ClassOfView> ⋮⊏ ➜ this.Extensions(object, null, "Extensions") ⊐… ⋮«∀(‖"Ⓟ/SlotSpecifications"){»… <SlotSpecification Name="◂‖"Ⓟ/Name"▸" Visibility="◂‖"Ⓟ/Visibility"▸" Attributes="◂‖"Ⓟ/Attributes"▸" Associations="◂‖"Ⓟ/Associations"▸" Operations="◂‖"Ⓟ/Operations"▸" Expand="◂‖"Ⓟ/Expand"▸"> <EntryIncludeRegExp>◂‖"Ⓟ/EntryIncludeRegExp"▸</EntryIncludeRegExp> <EntryExcludeRegExp>◂‖"Ⓟ/EntryExcludeRegExp"▸</EntryExcludeRegExp> <FeatureIncludeRegExp>◂‖"Ⓟ/FeatureIncludeRegExp"▸</FeatureIncludeRegExp> <FeatureExcludeRegExp>◂‖"Ⓟ/FeatureExcludeRegExp"▸</FeatureExcludeRegExp> </SlotSpecification> ⋮«}/∀»… </View> ⋮«}/∀»… ⋮⊏ ➜ this.Extensions(object, null, "Extensions") ⊐… </Class> «/¶»… « } »… « } catch (org.oomodels.OOMStatusCode osc) { throw osc; } catch (Throwable t) { org.oomodels.OOMStatusCode osc = new org.oomodels.OOMStatusCode(204); //osc.setCause(t); throw osc; } »… ⊏ Ⓣ Extensions(Object object, String element, String tag) ⊐… ⋮«➀:(e)»… ⋮«➀:(x)»… ⋮«¬∅(‖"Ⓟ/Extensions"){»… ⋮«∀(⊙){»… ⋮«if(((String)(‖"Ⓟ/Name")).equals("UML")){»… ⋮«➀(e){if(element!=null){»> ⋮«}}/➀»… ⋮«∀(‖"Ⓟ/Properties"){»… ◂((WIMLProperty)(⊙)).dumpToXML(" ",null).toString()▸ ⋮«}/∀»… ⋮«}»… ⋮«}/∀»… ⋮«}/¬∅»… ⋮«¬∅(‖"Ⓟ/Extensions"){»… ⋮«∀(⊙){»… ⋮«if(((String)(‖"Ⓟ/Name")).matches("UML\u007CWIML") == false){»… ⋮«➀(e){if(element!=null){»> ⋮«}}/➀»… ⋮«➀(x){» <◂tag▸> ⋮«}/➀»… <Extension CLASS="OOEMExtension_OCP_XML"> <XOCP CLASS="String" CONTENT="XML/Text"> ⋮«if(((String)(‖"Ⓟ/Name")).matches("^org/xmodel/[^/]*")){»… <◂((String)(‖"Ⓟ/Name")).replaceFirst("org/xmodel/","")▸ CLASS="UMLExtension"> ⋮«}else{»… <◂‖"Ⓟ/Name"▸ CLASS="UMLExtension"> ⋮«}»… ⋮«∀(‖"Ⓟ/Properties"){»… ◂((WIMLProperty)(⊙)).dumpToXML(" ",null).toString()▸ ⋮«}/∀»… ⋮«if(((String)(‖"Ⓟ/Name")).matches("^org/xmodel/[^/]*")){»… </◂((String)(‖"Ⓟ/Name")).replaceFirst("org/xmodel/","")▸> ⋮«}else{»… </◂‖"Ⓟ/Name"▸> ⋮«}»… </XOCP> </Extension> ⋮«}»… ⋮«}/∀»… ⋮«}/¬∅»… ⋮«¬➀(x){»… </◂tag▸> ⋮«}/¬➀»… ⋮«if(element!=null){»… ⋮«¬➀(e){»… </◂element▸> ⋮«}∨{»/> ⋮«}/¬➀»… ⋮«}»… ⊏ /Ⓣ ⊐…