diff options
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/scoping/AlloyLanguageScopeProvider.xtend')
| -rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/scoping/AlloyLanguageScopeProvider.xtend | 81 |
1 files changed, 0 insertions, 81 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/scoping/AlloyLanguageScopeProvider.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/scoping/AlloyLanguageScopeProvider.xtend deleted file mode 100644 index b2333f51..00000000 --- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/scoping/AlloyLanguageScopeProvider.xtend +++ /dev/null | |||
| @@ -1,81 +0,0 @@ | |||
| 1 | /* | ||
| 2 | * generated by Xtext | ||
| 3 | */ | ||
| 4 | package hu.bme.mit.inf.dslreasoner.scoping | ||
| 5 | |||
| 6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition | ||
| 7 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument | ||
| 8 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration | ||
| 9 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall | ||
| 10 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx | ||
| 11 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference | ||
| 12 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDeclaration | ||
| 13 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDefinition | ||
| 14 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody | ||
| 15 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum | ||
| 16 | import java.util.ArrayList | ||
| 17 | import java.util.Collections | ||
| 18 | import java.util.HashSet | ||
| 19 | import java.util.LinkedList | ||
| 20 | import java.util.List | ||
| 21 | import java.util.Set | ||
| 22 | import org.eclipse.emf.ecore.EObject | ||
| 23 | import org.eclipse.emf.ecore.EReference | ||
| 24 | import org.eclipse.xtext.scoping.IScope | ||
| 25 | import org.eclipse.xtext.scoping.Scopes | ||
| 26 | import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider | ||
| 27 | |||
| 28 | /** | ||
| 29 | * This class contains custom scoping description. | ||
| 30 | * | ||
| 31 | * see : http://www.eclipse.org/Xtext/documentation.html#scoping | ||
| 32 | * on how and when to use it | ||
| 33 | * | ||
| 34 | */ | ||
| 35 | class AlloyLanguageScopeProvider extends AbstractDeclarativeScopeProvider { | ||
| 36 | |||
| 37 | def public IScope scope_ALSReference_referred(ALSReference alsReferecnce, EReference ref) { | ||
| 38 | val Set<ALSRelationDeclaration> declarations = new HashSet | ||
| 39 | |||
| 40 | val parent = alsReferecnce.getAllParents(ALSDocument).head as ALSDocument | ||
| 41 | val signatures = parent.signatureBodies.map[ALSSignatureBody x|x.declarations].flatten | ||
| 42 | declarations+=parent.enumDeclarations | ||
| 43 | declarations+=signatures | ||
| 44 | declarations+=parent.enumDeclarations.map[ALSEnumDeclaration x | x.literal].flatten | ||
| 45 | declarations+=parent.signatureBodies.map[ALSSignatureBody x|x.fields].flatten | ||
| 46 | |||
| 47 | declarations+=alsReferecnce.getAllParents(ALSQuantifiedEx).map[ALSQuantifiedEx x | x.variables].flatten | ||
| 48 | declarations+=alsReferecnce.getAllParents(ALSSum).map[ALSSum x | x.variables].flatten | ||
| 49 | declarations+=alsReferecnce.getAllParents(ALSRelationDefinition).map[ALSRelationDefinition x | x.variables].flatten | ||
| 50 | |||
| 51 | // println("---") | ||
| 52 | // println(declarations.map[it.name].join(", ")) | ||
| 53 | |||
| 54 | return Scopes.scopeFor(declarations) | ||
| 55 | } | ||
| 56 | //{ALSFunctionCall} (/*functionName=ALSID |*/ referredDefinition=[ALSDefinition]) | ||
| 57 | def public IScope scope_ALSFunctionCall_referredDefinition(ALSFunctionCall call, EReference ref) { | ||
| 58 | val parent = call.<ALSDocument>getAllParents(ALSDocument).head as ALSDocument | ||
| 59 | val list = new LinkedList<ALSDefinition> | ||
| 60 | list += parent.relationDefinitions | ||
| 61 | list += parent.functionDefinitions | ||
| 62 | //list.forEach[println(it.name + " " + it.eContainer)] | ||
| 63 | return Scopes.scopeFor(list) | ||
| 64 | } | ||
| 65 | |||
| 66 | def <X extends EObject> List<X> getAllParents(EObject object, Class<X> type) { | ||
| 67 | if(object.eContainer == null) { | ||
| 68 | return Collections.EMPTY_LIST | ||
| 69 | } else { | ||
| 70 | val container = object.eContainer; | ||
| 71 | val previousParents = container.getAllParents(type) | ||
| 72 | if(type.isInstance(container)){ | ||
| 73 | val res = new ArrayList(previousParents) | ||
| 74 | res+= container as X | ||
| 75 | return res | ||
| 76 | } | ||
| 77 | else return previousParents | ||
| 78 | |||
| 79 | } | ||
| 80 | } | ||
| 81 | } | ||