Comments (3)
If I close the editor and open it again it instantly produces another error:
An internal error occurred during: "calculating highlighting".
Missing type computation for expression type: RAlfAssocNavExpression / ExpressionTypeComputationState: ExpressionAwareStackedResolvedTypes: [
expressionTypes:
org.eclipse.xtext.xbase.impl.XNumberLiteralImpl@3e828eb6 (value: 0) ->
TypeData [expectation=ObservableTypeExpectation [expectation=int], type=int, flags=[UNCHECKED], returnType=false]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@70685cad (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=Forward, flags=[UNCHECKED], returnType=false]
hu.elte.txtuml.xtxtuml.xtxtUML.impl.RAlfSendSignalExpressionImpl@7785e48b ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=Forward, flags=[UNCHECKED], returnType=false]
featureLinking:
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@70685cad (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) -> ConstructorLinkingCandidate [Forward:PerformanceTestModel$Forward.Forward(int) [key: Forward(int)+]]
parent: [
parent: [
expressionTypes:
this ->
TypeData [expectation=RootNoExpectation [expectation=<no expectation>], type=PerformanceTestModel$A$A1_A2, flags=[UNCHECKED], returnType=true]
TypeData [expectation=RootNoExpectation [expectation=<no expectation>], type=PerformanceTestModel$A$A1_A2, flags=[UNCHECKED], returnType=false]
hu.elte.txtuml.xtxtuml.xtxtUML.impl.RAlfAssocNavExpressionImpl@1007897 ->
TypeData [expectation=TypeExpectation [expectation=Collection<PerformanceTestModel$B>], type=Collection<PerformanceTestModel$B>, flags=[UNCHECKED], returnType=false]
<RAlfAssocNavExpressionImpl>.isEmpty() ->
TypeData [expectation=TypeExpectation [expectation=boolean], type=boolean, flags=[UNCHECKED], returnType=false]
{
} ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=null, flags=[UNCHECKED], returnType=false]
org.eclipse.xtext.xbase.impl.XIfExpressionImpl@7f3f5a67 ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=null, flags=[UNCHECKED], returnType=false]
featureLinking:
this -> FeatureLinkingCandidate [SimpleIdentifiableElementDescription[this]]
<RAlfAssocNavExpressionImpl>.isEmpty() -> [isEmpty:hu.elte.txtuml.api.model.Collection.isEmpty() [key: isEmpty()+]]
propagatedTypes:
org.eclipse.xtext.xbase.impl.XIfExpressionImpl@7f3f5a67
parent: [
types:
var sig -> Forward
expressionTypes:
<implicit: PerformanceTestModel$A$A1_A2> ->
TypeData [expectation=TypeExpectation [expectation=PerformanceTestModel$A$A1_A2], type=PerformanceTestModel$A$A1_A2, flags=[UNCHECKED], returnType=false]
PerformanceTestModel ->
TypeData [expectation=TypeExpectation [expectation=<void not allowed>], type=Class<PerformanceTestModel>, flags=[UNCHECKED], returnType=false]
<XFeatureCallImplCustom>.Forward ->
TypeData [expectation=ObservableTypeExpectation [expectation=Class<Forward>], type=Class<Forward>, flags=[UNCHECKED], returnType=false]
getSignal(<XMemberFeatureCallImplCustom>) ->
TypeData [expectation=TypeExpectation [expectation=Forward], type=Forward, flags=[UNCHECKED], returnType=false]
var sig ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=void, flags=[UNCHECKED], returnType=false]
featureLinking:
<implicit: PerformanceTestModel$A$A1_A2> -> org.eclipse.xtext.xbase.typesystem.internal.ImplicitReceiver@697cd5ff
getSignal(<XMemberFeatureCallImplCustom>) -> FeatureLinkingCandidate [getSignal:hu.elte.txtuml.api.model.StateMachine$Transition.getSignal(java.lang.Class) [key: getSignal(java.lang.Class):implicitReceiver+]]
PerformanceTestModel -> TypeLiteralLinkingCandidate [TypeLiteralDescription[PerformanceTestModel]]
<XFeatureCallImplCustom>.Forward -> [TypeLiteralDescription[Forward]]
typeParameterHints:
java.lang.Object@64b678bb ->
LightweightBoundTypeArgument [
typeReference = Forward
source = RESOLVED
origin = Forward
declaredVariance = INVARIANT
actualVariance = INVARIANT
]
parent: [
types:
JvmOperation: PerformanceTestModel$A$A1_A2.effect() (visibility: PUBLIC, simpleName: effect, identifier: PerformanceTestModel$A$A1_A2.effect(), deprecated: <unset>) (varArgs: false) (static: false, final: false, abstract: false, synchronized: false, default: false, native: false, strictFloatingPoint: false) -> void
parent: [
reassignedTypes:
JvmGenericType: hu.elte.txtuml.api.model.StateMachine$Transition (visibility: PUBLIC, simpleName: Transition, identifier: hu.elte.txtuml.api.model.StateMachine$Transition, deprecated: false) (abstract: false, static: false, final: false, packageName: null) (interface: false, strictFloatingPoint: false, anonymous: false) -> StateMachine$Transition
JvmGenericType: PerformanceTestModel$A$A1_A2 (visibility: PUBLIC, simpleName: A1_A2, identifier: PerformanceTestModel$A$A1_A2, deprecated: <unset>) (abstract: false, static: false, final: false, packageName: null) (interface: false, strictFloatingPoint: false, anonymous: false) -> PerformanceTestModel$A$A1_A2
parent: [
types:
JvmField: PerformanceTestModel$A.remainingCycles (visibility: DEFAULT, simpleName: remainingCycles, identifier: PerformanceTestModel$A.remainingCycles, deprecated: <unset>) (static: false, final: false, volatile: false, transient: false, constant: <unset>, constantValue: null) -> int
JvmField: PerformanceTestModel$A.numForward (visibility: DEFAULT, simpleName: numForward, identifier: PerformanceTestModel$A.numForward, deprecated: <unset>) (static: false, final: false, volatile: false, transient: false, constant: <unset>, constantValue: null) -> int
JvmConstructor: PerformanceTestModel$A.A(int) (visibility: PUBLIC, simpleName: A, identifier: PerformanceTestModel$A.A(int), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$A
JvmConstructor: PerformanceTestModel$A$init.init() (visibility: PUBLIC, simpleName: init, identifier: PerformanceTestModel$A$init.init(), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$A$init
JvmOperation: PerformanceTestModel$A$A1.entry() (visibility: PUBLIC, simpleName: entry, identifier: PerformanceTestModel$A$A1.entry(), deprecated: <unset>) (varArgs: false) (static: false, final: false, abstract: false, synchronized: false, default: false, native: false, strictFloatingPoint: false) -> void
JvmConstructor: PerformanceTestModel$A$A1.A1() (visibility: PUBLIC, simpleName: A1, identifier: PerformanceTestModel$A$A1.A1(), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$A$A1
JvmConstructor: PerformanceTestModel$A$A2.A2() (visibility: PUBLIC, simpleName: A2, identifier: PerformanceTestModel$A$A2.A2(), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$A$A2
JvmConstructor: PerformanceTestModel$A$A3.A3() (visibility: PUBLIC, simpleName: A3, identifier: PerformanceTestModel$A$A3.A3(), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$A$A3
JvmConstructor: PerformanceTestModel$A$A4.A4() (visibility: PUBLIC, simpleName: A4, identifier: PerformanceTestModel$A$A4.A4(), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$A$A4
JvmOperation: PerformanceTestModel$A.createChild() (visibility: PRIVATE, simpleName: createChild, identifier: PerformanceTestModel$A.createChild(), deprecated: <unset>) (varArgs: false) (static: false, final: false, abstract: false, synchronized: false, default: false, native: false, strictFloatingPoint: false) -> void
var b -> PerformanceTestModel$B
JvmOperation: PerformanceTestModel$A.childTerminated() (visibility: PRIVATE, simpleName: childTerminated, identifier: PerformanceTestModel$A.childTerminated(), deprecated: <unset>) (varArgs: false) (static: false, final: false, abstract: false, synchronized: false, default: false, native: false, strictFloatingPoint: false) -> void
JvmOperation: PerformanceTestModel$A$init_A1.effect() (visibility: PUBLIC, simpleName: effect, identifier: PerformanceTestModel$A$init_A1.effect(), deprecated: <unset>) (varArgs: false) (static: false, final: false, abstract: false, synchronized: false, default: false, native: false, strictFloatingPoint: false) -> void
JvmConstructor: PerformanceTestModel$A$init_A1.init_A1() (visibility: PUBLIC, simpleName: init_A1, identifier: PerformanceTestModel$A$init_A1.init_A1(), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$A$init_A1
reassignedTypes:
JvmGenericType: hu.elte.txtuml.api.model.ModelClass (visibility: PUBLIC, simpleName: ModelClass, identifier: hu.elte.txtuml.api.model.ModelClass, deprecated: false) (abstract: false, static: false, final: false, packageName: hu.elte.txtuml.api.model) (interface: false, strictFloatingPoint: false, anonymous: false) -> ModelClass
JvmGenericType: PerformanceTestModel$A (visibility: PUBLIC, simpleName: A, identifier: PerformanceTestModel$A, deprecated: <unset>) (abstract: false, static: false, final: false, packageName: PerformanceTestModel) (interface: false, strictFloatingPoint: false, anonymous: false) -> PerformanceTestModel$A
expressionTypes:
<implicit: PerformanceTestModel$A> ->
TypeData [expectation=TypeExpectation [expectation=PerformanceTestModel$A], type=PerformanceTestModel$A, flags=[UNCHECKED], returnType=false]
numCycles ->
TypeData [expectation=ObservableTypeExpectation [expectation=int], type=int, flags=[UNCHECKED], returnType=false]
<null>.remainingCycles = <XFeatureCallImplCustom> ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=int, flags=[UNCHECKED], returnType=false]
<implicit: PerformanceTestModel$A> ->
TypeData [expectation=TypeExpectation [expectation=PerformanceTestModel$A], type=PerformanceTestModel$A, flags=[UNCHECKED], returnType=false]
org.eclipse.xtext.xbase.impl.XNumberLiteralImpl@2c93b7d (value: 0) ->
TypeData [expectation=ObservableTypeExpectation [expectation=int], type=int, flags=[UNCHECKED], returnType=false]
<null>.numForward = <XNumberLiteralImpl> ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=int, flags=[UNCHECKED], returnType=false]
{
<null>.remainingCycles = <XFeatureCallImplCustom>
<null>.numForward = <XNumberLiteralImpl>
} ->
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=true]
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=false]
{
} ->
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=true]
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=false]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@362e225 (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) ->
TypeData [expectation=TypeExpectation [expectation=PerformanceTestModel$B], type=PerformanceTestModel$B, flags=[UNCHECKED], returnType=false]
var b ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=void, flags=[UNCHECKED], returnType=false]
{
var b
} ->
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=true]
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=false]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@264f5eda (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=Backward, flags=[UNCHECKED], returnType=false]
hu.elte.txtuml.xtxtuml.xtxtUML.impl.RAlfSendSignalExpressionImpl@5c909d4d ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=ModelElement, flags=[UNCHECKED, MERGED], returnType=true]
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=ModelElement, flags=[UNCHECKED, MERGED], returnType=false]
this ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=PerformanceTestModel$A, flags=[UNCHECKED], returnType=false]
{
hu.elte.txtuml.xtxtuml.xtxtUML.impl.RAlfSendSignalExpressionImpl@5c909d4d
} ->
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=true]
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=false]
<implicit: PerformanceTestModel$A> ->
TypeData [expectation=TypeExpectation [expectation=PerformanceTestModel$A], type=PerformanceTestModel$A, flags=[UNCHECKED], returnType=false]
numForward ->
TypeData [expectation=ObservableTypeExpectation [expectation=int], type=int, flags=[UNCHECKED], returnType=false]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@27bace1f (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=Forward, flags=[UNCHECKED], returnType=false]
hu.elte.txtuml.xtxtuml.xtxtUML.impl.RAlfSendSignalExpressionImpl@65ea5ce7 ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=ModelElement, flags=[UNCHECKED, MERGED], returnType=true]
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=ModelElement, flags=[UNCHECKED, MERGED], returnType=false]
PerformanceTestModel ->
TypeData [expectation=TypeExpectation [expectation=<void not allowed>], type=Class<PerformanceTestModel>, flags=[UNCHECKED], returnType=false]
<XFeatureCallImplCustom>.A ->
TypeData [expectation=TypeExpectation [expectation=<void not allowed>], type=Class<PerformanceTestModel$A>, flags=[UNCHECKED], returnType=false]
<XMemberFeatureCallImplCustom>.this ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=PerformanceTestModel$A, flags=[UNCHECKED], returnType=false]
{
hu.elte.txtuml.xtxtuml.xtxtUML.impl.RAlfSendSignalExpressionImpl@65ea5ce7
} ->
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=true]
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=false]
featureLinking:
<implicit: PerformanceTestModel$A> -> org.eclipse.xtext.xbase.typesystem.internal.ImplicitReceiver@1ff7ce71
<null>.remainingCycles = <XFeatureCallImplCustom> -> FeatureLinkingCandidate [remainingCycles:PerformanceTestModel$A.remainingCycles [key: remainingCycles:implicitReceiver+]]
numCycles -> FeatureLinkingCandidate [SimpleIdentifiableElementDescription[numCycles]]
<implicit: PerformanceTestModel$A> -> org.eclipse.xtext.xbase.typesystem.internal.ImplicitReceiver@5c792b3d
<null>.numForward = <XNumberLiteralImpl> -> FeatureLinkingCandidate [numForward:PerformanceTestModel$A.numForward [key: numForward:implicitReceiver+]]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@362e225 (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) -> ConstructorLinkingCandidate [PerformanceTestModel.B:PerformanceTestModel$B.B() [key: B()+]]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@264f5eda (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) -> ConstructorLinkingCandidate [Backward:PerformanceTestModel$Backward.Backward() [key: Backward()+]]
this -> FeatureLinkingCandidate [SimpleIdentifiableElementDescription[this]]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@27bace1f (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) -> ConstructorLinkingCandidate [Forward:PerformanceTestModel$Forward.Forward(int) [key: Forward(int)+]]
<implicit: PerformanceTestModel$A> -> org.eclipse.xtext.xbase.typesystem.internal.ImplicitReceiver@53a5de60
numForward -> FeatureLinkingCandidate [numForward:PerformanceTestModel$A.numForward [key: numForward:implicitReceiver+]]
PerformanceTestModel -> TypeLiteralLinkingCandidate [TypeLiteralDescription[PerformanceTestModel]]
<XFeatureCallImplCustom>.A -> [TypeLiteralDescription[A]]
<XMemberFeatureCallImplCustom>.this -> [this:PerformanceTestModel$A [key: A+qualifiedThis]]
parent: [
types:
JvmOperation: PerformanceTestModel$Test.test() (visibility: PUBLIC, simpleName: test, identifier: PerformanceTestModel$Test.test(), deprecated: <unset>) (varArgs: false) (static: false, final: false, abstract: false, synchronized: false, default: false, native: false, strictFloatingPoint: false) -> void
JvmConstructor: PerformanceTestModel$Test.Test() (visibility: PUBLIC, simpleName: Test, identifier: PerformanceTestModel$Test.Test(), deprecated: <unset>) (varArgs: false) -> PerformanceTestModel$Test
reassignedTypes:
JvmGenericType: hu.elte.txtuml.api.model.Model (visibility: PUBLIC, simpleName: Model, identifier: hu.elte.txtuml.api.model.Model, deprecated: false) (abstract: false, static: false, final: false, packageName: hu.elte.txtuml.api.model) (interface: false, strictFloatingPoint: false, anonymous: false) -> Model
JvmGenericType: PerformanceTestModel (visibility: PUBLIC, simpleName: PerformanceTestModel, identifier: PerformanceTestModel, deprecated: <unset>) (abstract: false, static: false, final: false, packageName: null) (interface: false, strictFloatingPoint: false, anonymous: false) -> PerformanceTestModel
expressionTypes:
org.eclipse.xtext.xbase.impl.XNumberLiteralImpl@6c294b56 (value: 10000) ->
TypeData [expectation=ObservableTypeExpectation [expectation=int], type=int, flags=[UNCHECKED], returnType=false]
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@576bedd9 (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) ->
TypeData [expectation=NoExpectation [expectation=<no expectation>], type=PerformanceTestModel$A, flags=[UNCHECKED], returnType=false]
{
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@576bedd9 (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false)
} ->
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=true]
TypeData [expectation=RootTypeExpectation [expectation=void], type=void, flags=[SUCCESS, CHECKED], returnType=false]
featureLinking:
org.eclipse.xtext.xbase.impl.XConstructorCallImplCustom@576bedd9 (invalidFeatureIssueCode: null, validFeature: false, explicitConstructorCall: true, anonymousClassConstructorCall: false) -> ConstructorLinkingCandidate [A:PerformanceTestModel$A.A(int) [key: A(int)+]]
parent: []
]
]
]
]
]
]
]
]
from txtuml.
Attached the .xtxtuml
file as .txt
because github wont allow other extensions:
from txtuml.
I believe the error occured due to an incomplete type computation for the navigation expression, which has been fixed since then. I couldn't reproduce the error in the current implementation.
However, the mentioned silent exceptions are most likely to be thrown by the model inferrer, whose implementation should be made robuster. I'm closing this issue, and I'll open a separate one for that.
from txtuml.
Related Issues (20)
- Rethink lifeline activation on sequence diagrams HOT 1
- Execute multiple sequence diagrams
- Centralize process control?
- Support visualization of hierarchical state machines HOT 1
- Make the animation delay during debugging adjustable and add GUI control for this in browsers HOT 1
- Separate view for sequence diagram execution
- Improve sequence diagram validation HOT 1
- C++ deployment configuration groups should be revised. HOT 1
- Configure XtxtUML execution running as txtUML Application HOT 3
- Improve send validation in sequence diagrams
- Par fragment export is working only if the parameters are lambda expressions
- Detect cycles in sequence diagram validation and improve the communication with the user
- Validate Action calls in the run method of sequence diagrams
- Visualize state machine diagrams on the same page
- Make SMDiagrams editable
- Make SMDiagram animation stoppable
- Minor changes related to sequence diagrams
- Handle faulty bindings of proxy objects
- "Any" type association ends are not formatted correctly
- Unable to connect to http://mextest.inf.elte.hu/updates/mirrors
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from txtuml.