search

mbeddr / mbeddr.core

The mbeddr core. An extensible C
Eclipse Public License 2.0
226 stars 77 forks source link

Stackoverflow during type calc #93

Closed bkolb closed 12 years ago

bkolb commented 12 years ago

[38615098] ERROR - .mps.newTypesystem.state.State - an error occurred while applying rule to node correction java.lang.StackOverflowError at jetbrains.mps.logging.Logger.getLog4jLogger(Logger.java) at jetbrains.mps.logging.Logger.error(Logger.java:192) at jetbrains.mps.logging.Logger.error(Logger.java:177) at jetbrains.mps.logging.Logger.error(Logger.java:172) at jetbrains.mps.smodel.SNode.getProperty(SNode.java:372) at jetbrains.mps.smodel.SNode.getName(SNode.java:277) at jetbrains.mps.util.NameUtil.nodeFQName(NameUtil.java:374) at jetbrains.mps.smodel.behaviour.OldBehaviorManager.initNode(OldBehaviorManager.java:153) at jetbrains.mps.smodel.runtime.interpreted.BehaviorAspectInterpreted$InterpretedBehaviorDescriptor.initNode(BehaviorAspectInterpreted.java:72) at jetbrains.mps.smodel.behaviour.BehaviorManager.initNode(BehaviorManager.java:48) at jetbrains.mps.lang.smodel.generator.smodelAdapter.SModelOperations.createNewNode(SModelOperations.java:142) at jetbrains.mps.lang.smodel.generator.smodelAdapter.SConceptOperations.createNewNode(SConceptOperations.java:138) at com.mbeddr.analyses.yices.typesystem.supertypeOfInt64t_SubtypingRule.getSubOrSuperType(supertypeOfInt64t_SubtypingRule.java:18) at jetbrains.mps.lang.typesystem.runtime.AbstractSubtypingRule_Runtime.getSubOrSuperTypes(AbstractSubtypingRule_Runtime.java:30) at jetbrains.mps.newTypesystem.SubTypingManagerNew.collectImmediateSuperTypes(SubTypingManagerNew.java:219) at jetbrains.mps.newTypesystem.SubTypingManagerNew.collectImmediateSupertypes(SubTypingManagerNew.java:208) at jetbrains.mps.newTypesystem.SubTypingManagerNew.collectImmediateSupertypes(SubTypingManagerNew.java:203) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:24) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29) at com.mbeddr.core.expressions.typesystem.AssignableSuperTypeHelper.getAssignableSuperType(AssignableSuperTypeHelper.java:29)

matzat commented 12 years ago

Wie kann ich den Bug reproduzieren?