Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Alloy2LogicMapper.xtend | 2375 | logstatsplainblame |
-rw-r--r-- | AlloyHandler.xtend | 7712 | logstatsplainblame |
-rw-r--r-- | AlloyModelInterpretation.xtend | 14435 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper.xtend | 28860 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapperTrace.xtend | 3226 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_ConstantMapper.xtend | 1931 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_Containment.xtend | 10677 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_FunctionMapper.xtend | 3824 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_RelationMapper.xtend | 8476 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_Support.xtend | 8834 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_TypeMapper.xtend | 1025 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend | 11292 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend | 5572 | logstatsplainblame |