Attributes of refined objects in graph transformations not accessible

[FabianMarcoBauer]

When creating conditions for attributes in patterns that refine another pattern, only the attributes of the object type specified in the parent pattern can be used for comparisons.

Example:

1. In the SokobanLanguage, add an attribute to Blocks:

class Block extends Boulder {  
	attr EInt [1] type;
}

2. In the BoardPatterns.gt, add a pattern containing two Boulders:

abstract pattern twoBoulders {
	fig: Boulder

	fig2: Boulder
}

3. In the BoardPatterns.gt, add a second pattern refining the previously created pattern, which tries to compare their attributes:

pattern twoBlocks refines twoBoulders {
	fig2: Block {
		.figId == fig.figId // works
		.type == 1 // works
		.type == fig.type // fails
	}

	fig: Block
}

4. Rebuild the SolobanRules project.
5. In Boardpatterns.gt in the pattern twoBlocks, the second occurrence of type in the line .type == fig.type is marked with Could not find attribute 'type'..

[anthonyanjorin]

Thanks @FabianMarcoBauer This is probably a bug in the scope provider for gt files. I guess the candidates for referenced attributes do not take refinements into account.