Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Alloy2LogicMapper.xtend | 2375 | logstatsplainblame |
-rw-r--r-- | AlloyHandler.xtend | 7712 | logstatsplainblame |
-rw-r--r-- | AlloyModelInterpretation.xtend | 9184 | 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 | 1099 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend | 11049 | logstatsplainblame |
-rw-r--r-- | Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend | 5107 | logstatsplainblame |