Life of a Resource (XtextCON 2015)

Transcript

1. Life of a Resource Sven Efftinge
2. THE CLEAN
3. At 
 First 
 There Was 
 Text entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } entity That { thatProperty : String op thatOperation(This _this) { _this.thisProperty + thatProperty } }
4. stored in artefacts
 identified by URIs platform:/resource/my.project/src/This.dmodel platform:/resource/my.project/src/That.dmodel
5. A fresh ResourceSet ResourceSet resourceSet.getResource(uri, true);
6. Load Resources ResourceSet ‘This.dmodel’ EObject EObject EObject ‘That.dmodel’ EObject EObject EObject
7. ‘This.dmodel’ EObject EObject EObject node node node node node node Node Model Concrete Syntax Tree Trace between grammar, 
 text and model
8. Install Proxies ‘This.dmodel’ EObject EObject EObject proxy proxy • Container EObject • EReference • Concrete Text (the node) platform:/resource/my.project/src/This.dmodel#|1
9. class } class } Install Derived State (pre Index) No index lookup allowed! entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } entity That { thatProperty : String op thatOperation(This _this) { _this.thisProperty + thatProperty } }
10. XtextResource load and save node model errors etc.
11. LazyLinkingResource Resolution of LazyLinking URIs
12. StorageAwareResource Load and save of fully resolved state
13. DerivedStateAwareResource Hooks for inflating and deflating the AST.
 I.e. installDerivedState
14. BatchLinkableResource Xbase expression resolution
15. class } class } Install Derived State (pre Index) No index lookup allowed! entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } entity That { thatProperty : String op thatOperation(This _this) { _this.thisProperty + thatProperty } }
16. Collecting Global Names (aka indexing) Collect all globally visible symbols. ResourceDescriptionManager.getResourceDescription() entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } entity That { thatProperty : String op thatOperation(This _this) { _this.thisProperty + thatProperty } } class } class }
17. The Index IResourceDescriptions IResourceDescription (URI) IEObjectDescription IReferenceDescription * * * Usually indexed on qualifiedName and URI
18. entity That { thatProperty : String op thatOperation(This _this) { _this.thisProperty + thatProperty } } class private String thatProperty public String getThatProperty() { … } public void setThatProperty(String thatProperty) { … }
 public LAZY_TYPE thatOperation(This _this) { … } } Install Derived State (post! Index) Index lookup allowed!
19. Full Resolution entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } Where to find ‘That’? Ask the world (aka index)
20. entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } Where to find ‘thatOperation’? Ask ‘That’ (variable type) Full Resolution
21. Proxy Resolution ‘This.dmodel’ EObject EObject EObject proxy proxy urceSet ‘That.dmodel’ EObject EObject EObject /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public JvmType getType() { if (type != null && type.eIsProxy()) { InternalEObject oldType = (InternalEObject)type; type = (JvmType)eResolveProxy(oldType); if (type != oldType) { if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.RESOLVE, 
 TypesPackage.JVM_PARAMETERIZED_TYPE_REFERENCE__TYPE, 
 oldType, type)); } } return type; }
22. ‘This.dmodel’ EObject EObject EObject proxy proxy urceSet ‘That.dmodel’ EObject EObject EObject BasicEObjectImpl#eResolveProxy(..)
 
 EcoreUtil#resolve(..)
 
 ResourceSet#getResource(URI-part)
 
 Resource#getEObject(fragment) Proxy Resolution
23. ‘This.dmodel’ EObject EObject EObject urceSet ‘That.dmodel’ EObject EObject EObject Proxy Resolution
24. Validation Code Generation
25. We made it!
26. Incremental Build Given 1) Existing Index 2) physically changed URIs entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } entity That { thatProperty : String op thatOperation(This _this) { _this.thisProperty + thatProperty } } Bazz platform:/resource/my.project/src/This.dmodel Change in
27. #1 : Create & Load #2 : Pre-Index installDerivedState #3 : create ResourceDescriptionDelta platform:/resource/my.project/src/This.dmodel Affection Analysis IResourceDescription.Manager#isAffected for (allDescriptions)
28. #isAffected Is there an outgoing reference? entity This { thisProperty : int op thisOperation(That that) { return that.thatOperation(this) } } entity That { thatProperty : String op thatOperation(This _this) { _this.thisProperty + thatProperty } } Bazz This Does the delta contain a name, that has been asked for?
29. More Specialities • Container Manager • Dirty state • Clustering • Integration with Java • Exceptions: Active Annotations
30. Time for
 Questions